diff options
| author | Jack Lloyd <[email protected]> | 2017-03-31 08:30:56 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-03-31 08:30:56 -0400 |
| commit | da0990931c26b1ee0d468231be35643b4661b503 (patch) | |
| tree | fcf79d863be968f52b923d8ea26fe408a3acceaa /src/scripts/website.sh | |
| parent | 074bc5ad520397793f83c84c762da38b39fbf36b (diff) | |
| parent | 28ffbc5be6f5d4d0691c125d80ab221c0223a8a5 (diff) | |
Merge GH #958 Fix index in PDF doc
Diffstat (limited to 'src/scripts/website.sh')
| -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 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 |