From 94720fb86d88f66ed7ac6bc47bfc14e8bcd876ca Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 26 Feb 2001 08:34:49 +0000
Subject: mise a jour

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1402 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 73594b6a2c..aba77cd8fc 100644
--- a/Makefile
+++ b/Makefile
@@ -489,10 +489,8 @@ LPTOPLEVEL = toplevel/doc.tex $(TOPLEVEL:.cmo=.mli)
 LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) $(LPLIBRARY) \
 	  $(LPPRETYPING) $(LPPROOFS) $(LPTACTICS) $(LPTOPLEVEL)
 
-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
+doc/coq.tex: $(LPFILES)
+	ocamlweb -p "\usepackage{epsfig}" $(LPFILES) -o doc/coq.tex
 
 clean::
 	rm -f doc/*~ doc/coq.tex
-- 
cgit v1.2.3