aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts
diff options
context:
space:
mode:
authorRenĂ© Korthaus <[email protected]>2017-03-31 11:23:54 +0200
committerRenĂ© Korthaus <[email protected]>2017-03-31 11:23:54 +0200
commit28ffbc5be6f5d4d0691c125d80ab221c0223a8a5 (patch)
treefcf79d863be968f52b923d8ea26fe408a3acceaa /src/scripts
parent074bc5ad520397793f83c84c762da38b39fbf36b (diff)
Re-add index to PDF users manual
Run pdflatex twice to have LaTex generate an index for the PDF users manual. This somehow broke in GH #937.
Diffstat (limited to 'src/scripts')
-rwxr-xr-xsrc/scripts/website.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh
index 7018ecd7a..8ed5e4ba0 100755
--- a/src/scripts/website.sh
+++ b/src/scripts/website.sh
@@ -25,7 +25,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