From dd9a2afecc0d7323c6ad73278c82e61b7b643928 Mon Sep 17 00:00:00 2001
From: mertz
Date: Fri, 15 Mar 2002 09:58:38 +0000
Subject: Creation de l'index en pdf et recopie des images png dans le
 repertoire /refman/

---
 Makefile.in | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index 4a53ff4..54636f1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -189,12 +189,12 @@ ptk:
 
 doc: doc/refman.pdf doc/refman.html
 
-doc/refman.html:
-	(cd doc; latex2html refman.tex)
+doc/refman.html: 
+	(cd doc; latex2html refman.tex; cp -f *.png refman/ )
 
 doc/refman.pdf: doc/refman.tex
 	(cd doc; -rm refman.aux; \
-	pdflatex refman.tex; thumbpdf refman.pdf; pdflatex refman.tex;)
+	pdflatex refman.tex; thumbpdf refman.pdf; makeindex refman.idx; pdflatex refman.tex;)
 
 ifeq ($(strip($GPC)),)
 install: installtk installptk installom installgpc
-- 
cgit v1.1