renaming in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / restore.sh

diff --git a/matita/matita/contribs/lambdadelta/restore.sh b/matita/matita/contribs/lambdadelta/restore.sh
index af7b5e09608ec245714632eb148c06c8e86c7808..6e0da30fc13df97d0d07ec343a290c29b2f88b32 100644 (file)
--- a/matita/matita/contribs/lambdadelta/restore.sh
+++ b/matita/matita/contribs/lambdadelta/restore.sh
@@ -1,8 +1,8 @@
 #!/bin/sh
-for MA in `find -name "*.ma"`; do
-   if [ -s ${MA}.old ];
-      then echo ${MA}; mv -f ${MA}.old ${MA};
+for SRC in `find -name "*.ma" -or -name "*.tbl"`; do
+   if [ -s ${SRC}.old ];
+      then echo ${SRC}; mv -f ${SRC}.old ${SRC};
    fi
 done
 
-unset MA
+unset SRC