From 85de148f4e698f4e215f54526dc9c86ce10d07ed Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 19 Dec 2001 18:01:19 +0000
Subject: suppression de commentaires obsoletes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2346 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 36 ------------------------------------
 1 file changed, 36 deletions(-)

diff --git a/Makefile b/Makefile
index d6ab60f5ce..d665e47499 100644
--- a/Makefile
+++ b/Makefile
@@ -777,42 +777,6 @@ library/nametab.cmx: library/nametab.ml
 
 # files compiled with camlp4 because of streams syntax
 
-#lib/pp.cmo: lib/pp.ml
-#	$(OCAMLC) $(BYTEFLAGS) -c $<
-
-#lib/pp.cmx: lib/pp.ml
-#	$(OCAMLOPT_P4O) -c $<
-
-#contrib/xml/xml.cmo: contrib/xml/xml.ml4
-#	$(OCAMLC_P4O) -c $<
-
-#contrib/xml/xml.cmx: contrib/xml/xml.ml4
-#	$(OCAMLOPT_P4O) -c $<
-
-#contrib/xml/xmlcommand.cmo: contrib/xml/xmlcommand.ml4
-#	$(OCAMLC_P4O) -c $<
-
-#contrib/xml/xmlcommand.cmx: contrib/xml/xmlcommand.ml4
-#	$(OCAMLOPT_P4O) -c $<
-
-#contrib/interface/line_parser.cmo: contrib/interface/line_parser.ml4
-#	$(OCAMLC_P4O) -c $<
-
-#contrib/interface/line_parser.cmx: contrib/interface/line_parser.ml4
-#	$(OCAMLOPT_P4O) -c $<
-
-#tools/coq_makefile.cmo: tools/coq_makefile.ml4
-#	$(OCAMLC_P4O) -c $<
-
-#tools/coq_makefile.cmx: tools/coq_makefile.ml4
-#	$(OCAMLOPT_P4O) -c $<
-
-#tools/coq-tex.cmo: tools/coq-tex.ml4
-#	$(OCAMLC_P4O) -c $<
-
-#tools/coq-tex.cmx: tools/coq-tex.ml4
-#	$(OCAMLOPT_P4O) -c $<
-
 ML4FILES += lib/pp.ml4 			\
 	 contrib/xml/xml.ml4		\
 	 contrib/xml/xmlcommand.ml4	\
-- 
cgit v1.2.3