diff options
| author | pboutill | 2010-04-29 16:33:36 +0000 |
|---|---|---|
| committer | pboutill | 2010-04-29 16:33:36 +0000 |
| commit | 8e66761c81648add03ed21b157a3bace716b8e08 (patch) | |
| tree | 72621a076032939bc0c526c43fe57f3e674e1eca /dev/Makefile | |
| parent | 28809ba4180b0421d5b0e97f9e92ba72e63bda7c (diff) | |
"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
Diffstat (limited to 'dev/Makefile')
| -rw-r--r-- | dev/Makefile | 53 |
1 files changed, 0 insertions, 53 deletions
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 |