diff options
author | mertz | 2003-09-29 09:22:52 +0000 |
---|---|---|
committer | mertz | 2003-09-29 09:22:52 +0000 |
commit | 9246155534f3aa1bdd06545b3a3fbed8c687d3b4 (patch) | |
tree | 81854196f08996e58b28bbfc6004ebae68fe9aa7 | |
parent | ac066b067901451d655004ae297c173ac6b025db (diff) | |
download | tkzinc-9246155534f3aa1bdd06545b3a3fbed8c687d3b4.zip tkzinc-9246155534f3aa1bdd06545b3a3fbed8c687d3b4.tar.gz tkzinc-9246155534f3aa1bdd06545b3a3fbed8c687d3b4.tar.bz2 tkzinc-9246155534f3aa1bdd06545b3a3fbed8c687d3b4.tar.xz |
- I added two additionnal calls of "pdflatex refman.tex" so that the index refered
pages are correctly numbered and so that the numbail previously generated are
effectively added to the .pdf file (this cost and additionnal 60 ko to the pdf file)
- the file refman.tpt previously generated is now deleted before pdf re-generation
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index f71824c..1c3eeb4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -226,12 +226,14 @@ doc: pdf: doc/refman.tex (cd doc; \ - rm -f refman.aux refman.ilg refman.ind refman.out; \ + rm -f refman.aux refman.ilg refman.ind refman.out refman.tpt; \ rm -f refman.idx refman.lof refman.log refman.lot refman.toc; \ pdflatex refman.tex; \ + pdflatex refman.tex; \ makeindex refman.idx; \ pdflatex refman.tex; \ - thumbpdf refman.pdf;) + thumbpdf refman.pdf; \ + pdflatex refman.tex;) html: doc/refman.tex (cd doc; \ |