diff options
| author | mertz | 2002-03-15 09:58:38 +0000 |
|---|---|---|
| committer | mertz | 2002-03-15 09:58:38 +0000 |
| commit | dd9a2afecc0d7323c6ad73278c82e61b7b643928 (patch) | |
| tree | b82895e7de1f8342aa8936dd83801aea9adba092 /Makefile.in | |
| parent | 81172ddff427b57b1814173e3a2b5d2d4a838983 (diff) | |
| download | tkzinc-dd9a2afecc0d7323c6ad73278c82e61b7b643928.zip tkzinc-dd9a2afecc0d7323c6ad73278c82e61b7b643928.tar.gz tkzinc-dd9a2afecc0d7323c6ad73278c82e61b7b643928.tar.bz2 tkzinc-dd9a2afecc0d7323c6ad73278c82e61b7b643928.tar.xz | |
Creation de l'index en pdf et recopie des images png dans le repertoire /refman/
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
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 |