X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Frestore.sh;h=6e0da30fc13df97d0d07ec343a290c29b2f88b32;hp=af7b5e09608ec245714632eb148c06c8e86c7808;hb=222044da28742b24584549ba86b1805a87def070;hpb=5c186c72f508da0849058afeecc6877cd9ed6303

diff --git a/matita/matita/contribs/lambdadelta/restore.sh b/matita/matita/contribs/lambdadelta/restore.sh
index af7b5e096..6e0da30fc 100644
--- 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