From 76e3b2928b766a76ee7e29dd3f6867cd48f95a52 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 19 Sep 1999 14:17:35 +0000
Subject:  - 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
---
 Makefile | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 80d6cfc53b..fceb371342 100644
--- a/Makefile
+++ b/Makefile
@@ -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/*~
-- 
cgit v1.2.3