From 28ffbc5be6f5d4d0691c125d80ab221c0223a8a5 Mon Sep 17 00:00:00 2001 From: René Korthaus Date: Fri, 31 Mar 2017 11:23:54 +0200 Subject: 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. --- src/scripts/website.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/scripts/website.sh') 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 -- cgit v1.2.3