From 8e66761c81648add03ed21b157a3bace716b8e08 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Thu, 29 Apr 2010 16:33:36 +0000
Subject: "make source-doc" builds documentation of mli in html and pdf at
 dev/ocamldoc/

old "make source-doc" that documents ml files and didn't work is now
"make ml-doc" but still don't work :-)

"make clean" cleans dev/ocamldoc/ properly

wierd? calls of dependency graph generation leave unchanged

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

(limited to 'dev/Makefile')

diff --git a/dev/Makefile b/dev/Makefile
deleted file mode 100644
index 4693bd136c..0000000000
--- a/dev/Makefile
+++ /dev/null
@@ -1,53 +0,0 @@
-include ../config/Makefile
-
-LOCALINCLUDES=-I ../config -I ../tools -I ../tools/coqdoc \
-	      -I ../scripts -I ../lib -I ../kernel -I ../kernel/byterun -I ../library \
-              -I ../proofs -I ../tactics -I ../pretyping \
-              -I ../interp -I ../toplevel -I ../parsing -I ../ide/utils -I ../ide \
-              -I ../plugins/omega -I ../plugins/romega \
-	      -I ../plugins/ring -I ../plugins/dp -I ../plugins/setoid_ring \
-              -I ../plugins/xml -I ../plugins/extraction \
-              -I ../plugins/fourier -I ../plugins/cc \
-	      -I ../plugins/funind -I ../plugins/firstorder \
-              -I ../plugins/field -I ../plugins/subtac -I ../plugins/rtauto \
-              -I ../plugins/recdef
-
-MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
-
-MLIS=$(wildcard ../lib/*.mli ../kernel/*.mli ../library/*.mli \
-	../pretyping/*.mli ../interp/*.mli \
-	../parsing/*.mli ../proofs/*.mli \
-	../tactics/*.mli ../toplevel/*.mli)
-
-all:: html coq.pdf
-
-newsyntax.dvi: newsyntax.tex
-	latex $<
-	latex $<
-
-coq.dvi: coq.tex
-	latex coq
-	latex coq
-
-coq.tex::
-	ocamldoc -latex -rectypes -I /usr/lib/ocaml/camlp5 $(MLINCLUDES)\
-	$(MLIS) -t "Coq mlis documentation" -intro docintro -o coq.tex
-
-html::
-	ocamldoc -html -rectypes -I /usr/lib/ocaml/camlp5 $(MLINCLUDES)\
-	$(MLIS) -d html -colorize-code \
-	-t "Coq mlis documentation" -intro docintro -css-style style.css
-
-%.dot: ../%
-	ocamldoc -rectypes $(MLINCLUDES) -t $* -dot -dot-reduce ../$*/*.ml ../$*/*.mli -o $@
-
-%.png: %.dot
-	dot -Tpng $< -o $@
-
-clean::
-	rm -f *~ *.log *.aux
-
-.SUFFIXES: .tex .png
-
-%.pdf: %.tex
-	pdflatex $< && pdflatex $<
\ No newline at end of file
-- 
cgit v1.2.3