From 68881dcdf8be4c4ee8368574cf20cd2a38d383f9 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 19 Mar 2008 09:53:21 +0000 Subject: Revu removeproof git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@567 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Makefile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index afadd77..58d494c 100644 --- a/Makefile +++ b/Makefile @@ -74,7 +74,7 @@ all: $(MAKE) -C extraction $(MAKE) -C runtime -documentation: +documentation: doc/removeproofs @ln -f $(FILES) doc/ @mkdir -p doc/html cd doc; $(COQDOC) --html -d html \ @@ -83,6 +83,12 @@ documentation: cp doc/coqdoc.css doc/html/coqdoc.css doc/removeproofs doc/html/*.html +doc/removeproofs: doc/removeproofs.ml + ocamlopt -o doc/removeproofs doc/removeproofs.ml + +doc/removeproofs.ml: doc/removeproofs.mll + ocamllex doc/removeproofs.mll + latexdoc: cd doc; $(COQDOC) --latex -o doc/doc.tex -g $(FILES) @@ -103,6 +109,7 @@ install: clean: rm -f */*.vo *~ */*~ rm -rf doc/html doc/*.glob + rm -f doc/removeproofs.ml doc/removeproofs $(MAKE) -C extraction clean $(MAKE) -C runtime clean $(MAKE) -C test/cminor clean -- cgit v1.2.3