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

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