diff options
| author | letouzey | 2001-12-19 18:01:19 +0000 |
|---|---|---|
| committer | letouzey | 2001-12-19 18:01:19 +0000 |
| commit | 85de148f4e698f4e215f54526dc9c86ce10d07ed (patch) | |
| tree | a9a8a54d52b33f814a5917b1615ff805ab22e1ff | |
| parent | 458d8598a9d81cd86dce59475c49363e1f9da729 (diff) | |
suppression de commentaires obsoletes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2346 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 36 |
1 files changed, 0 insertions, 36 deletions
@@ -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 \ |