diff options
| -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 |