diff options
| author | filliatr | 1999-09-19 14:17:35 +0000 |
|---|---|---|
| committer | filliatr | 1999-09-19 14:17:35 +0000 |
| commit | 76e3b2928b766a76ee7e29dd3f6867cd48f95a52 (patch) | |
| tree | 5a5a73ee8770cba524b8c24892f709a308e9ab3b /Makefile | |
| parent | 5393ee683be9e19ab25888925f561ea4f4b1dddb (diff) | |
- un effort sur la doc (ocamlweb)
- module Nametab
- module Impargs
- correction bug : Parameter id : t => vérification que t est bien un type
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@76 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -42,7 +42,8 @@ KERNEL=kernel/names.cmo kernel/generic.cmo kernel/univ.cmo kernel/term.cmo \ kernel/typing.cmo LIBRARY=library/libobject.cmo library/summary.cmo library/lib.cmo \ - library/global.cmo library/states.cmo library/library.cmo + library/global.cmo library/states.cmo library/library.cmo \ + library/nametab.cmo library/impargs.cmo PARSING=parsing/lexer.cmo parsing/coqast.cmo parsing/pcoq.cmo parsing/ast.cmo \ parsing/g_prim.cmo parsing/g_basevernac.cmo parsing/g_vernac.cmo \ @@ -95,8 +96,10 @@ LPTOPLEVEL = toplevel/doc.tex $(TOPLEVEL:.cmo=.mli) LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) $(LPLIBRARY) \ $(LPTOPLEVEL) -doc/coq.tex: $(LPFILES) - ocamlweb -o doc/coq.tex $(LPFILES) +doc/coq.tex: doc/preamble.tex $(LPFILES) + cat doc/preamble.tex > doc/coq.tex + ocamlweb --no-preamble $(LPFILES) >> doc/coq.tex + echo "\end{document}" >> doc/coq.tex # Emacs tags @@ -185,6 +188,7 @@ archclean:: cleanall:: archclean rm -f *~ + rm -f doc/*~ rm -f config/*.cm[io] config/*~ rm -f lib/*.cm[io] lib/*~ rm -f kernel/*.cm[io] kernel/*~ |