diff options
Diffstat (limited to 'doc/latex/Makefile')
| -rw-r--r-- | doc/latex/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/latex/Makefile b/doc/latex/Makefile index 083d8b1..8cc3866 100644 --- a/doc/latex/Makefile +++ b/doc/latex/Makefile @@ -6,13 +6,15 @@ refman.pdf: clean refman.tex pdflatex refman makeindex refman.idx pdflatex refman - latex_count=5 ; \ + latex_count=8 ; \ while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log && [ $$latex_count -gt 0 ] ;\ do \ echo "Rerunning latex...." ;\ pdflatex refman ;\ latex_count=`expr $$latex_count - 1` ;\ done + makeindex refman.idx + pdflatex refman clean: |