diff options
Diffstat (limited to 'documentation')
| -rwxr-xr-x | documentation/make_pdf.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/make_pdf.in b/documentation/make_pdf.in index c0e5fad8a..44dd69eda 100755 --- a/documentation/make_pdf.in +++ b/documentation/make_pdf.in @@ -40,7 +40,7 @@ run_pdflatex() { && [ $latex_count -gt 0 ] do echo "Rerunning pdflatex ..." - pdflatex --interaction=nonstopmode refman.tex + run_pdflatex latex_count=`expr $latex_count - 1` done cd ..) > pdfall.log 2>&1 |