From d410a44b96d72ee49eced1af590bae54e9a42bd7 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 21 Jul 2015 15:08:17 +0200
Subject: patch ssrcoqdep

---
 etc/utils/ssrcoqdep | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'etc/utils')

diff --git a/etc/utils/ssrcoqdep b/etc/utils/ssrcoqdep
index dd1c068..8ef5422 100755
--- a/etc/utils/ssrcoqdep
+++ b/etc/utils/ssrcoqdep
@@ -11,6 +11,7 @@ key="$1"
 
 case $key in
     *.v)
+	mkdir -p $(dirname bkpcoqdep/$key)
         cp $key bkpcoqdep/$key
 	sed "s/^From.*//" -i $key
     ;;
@@ -23,5 +24,9 @@ done
 COQBIN="$(dirname $(which coqtop))/"
 $COQBIN/coqdep $args
 
-mv bkpcoqdep/* .
-rmdir bkpcoqdep
+for f in $(find bkpcoqdep -name "*.v")
+do
+mv $f ${f##bkpcoqdep/}
+done
+
+rm -rf bkpcoqdep
-- 
cgit v1.2.3