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 /Makefile.common | |
| 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 'Makefile.common')
| -rw-r--r-- | Makefile.common | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 4d5e00d251..9f44b3b6f5 100644 --- a/Makefile.common +++ b/Makefile.common @@ -339,7 +339,20 @@ MANPAGES:=man/coq-tex.1 man/coqdep.1 man/gallina.1 \ DATE=$(shell LANG=C date +"%B %Y") -SOURCEDOCDIR=dev/source-doc +########################################################################### +# Source documentation +########################################################################### + +OCAMLDOCDIR=dev/ocamldoc + +DOCMLIS=$(wildcard ./lib/*.mli ./kernel/*.mli ./library/*.mli \ + ./pretyping/*.mli ./interp/*.mli \ + ./parsing/*.mli ./proofs/*.mli \ + ./tactics/*.mli ./toplevel/*.mli) + +# Defining options to generate dependencies graphs +DOT=dot +ODOCDOTOPTS=-dot -dot-reduce # For emacs: # Local Variables: |