diff options
Diffstat (limited to 'fluid/documentation/make_pdf.in')
| -rwxr-xr-x | fluid/documentation/make_pdf.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fluid/documentation/make_pdf.in b/fluid/documentation/make_pdf.in index 05322111d..ef275ea5e 100755 --- a/fluid/documentation/make_pdf.in +++ b/fluid/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 |