diff options
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/website.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh index 398d39725..be4fc1685 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -27,7 +27,7 @@ cp license.txt doc/pgpkey.txt $WEBSITE_DIR # build manual as pdf for download sphinx-build -t website -c "$SPHINX_CONFIG" -b "latex" doc/manual handbook-latex -(cd handbook-latex && pdflatex botan.tex) +(cd handbook-latex && pdflatex botan.tex && pdflatex botan.tex) cp handbook-latex/botan.pdf $WEBSITE_DIR/manual/botan.pdf # build doxygen |