From 423b538b20b54b53a9a01da83bda00c5f36b06ce Mon Sep 17 00:00:00 2001
From: lecoanet
Date: Fri, 15 Mar 2002 14:23:31 +0000
Subject: Ajout de la fabrication de l'index dans la doc pdf.

---
 Makefile.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index 54636f1..0dd7fba 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -194,7 +194,9 @@ doc/refman.html:
 
 doc/refman.pdf: doc/refman.tex
 	(cd doc; -rm refman.aux; \
-	pdflatex refman.tex; thumbpdf refman.pdf; makeindex refman.idx; pdflatex refman.tex;)
+	pdflatex refman.tex; \
+	makeindex refman.idx; pdflatex refman.tex; \
+	thumbpdf refman.pdf;)
 
 ifeq ($(strip($GPC)),)
 install: installtk installptk installom installgpc
-- 
cgit v1.1