]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/Makefile
Comments removed.
[helm.git] / 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)