]> matita.cs.unibo.it Git - helm.git/commitdiff
Comments removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 16:55:55 +0000 (16:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 16:55:55 +0000 (16:55 +0000)
helm/metadata/create_V7_mowgli/Makefile

index b20dc221248a0c98e45b241671e387a539a84db8..c0a94dd09d986350aaf5603750ad85c77ab99bd8 100644 (file)
@@ -8,8 +8,8 @@ forward:
        (cd forward ; ../mkindex.sh forward)
 
 backward:
-       #time for i in `cat all_objects.txt` ; do touch/touch.opt $$i ; done
-       #find forward -type f -exec ./invert.pl {} \;
+       time for i in `cat all_objects.txt` ; do touch/touch.opt $$i ; done
+       find forward -type f -exec ./invert.pl {} \;
        find backward -type f -exec ./fix_rdf.pl {} \;
        (cd backward ; ../mkindex.sh backward)