From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 31 Oct 2002 16:55:55 +0000 (+0000)
Subject: Comments removed.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0b8f555e17c1428e6ede4466e7c15d1f7b8a003d;p=helm.git

Comments removed.
---

diff --git a/helm/metadata/create_V7_mowgli/Makefile b/helm/metadata/create_V7_mowgli/Makefile
index b20dc2212..c0a94dd09 100644
--- a/helm/metadata/create_V7_mowgli/Makefile
+++ b/helm/metadata/create_V7_mowgli/Makefile
@@ -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)