diff options
| -rwxr-xr-x | documentation/make_pdf.in | 2 | ||||
| -rwxr-xr-x | fluid/documentation/make_pdf.in | 2 |
2 files changed, 2 insertions, 2 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 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 |