diff options
author | Jack Lloyd <[email protected]> | 2017-03-24 16:17:06 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-03-24 16:17:06 -0400 |
commit | e7e130c3d56eead0d2f9e9cd5d00541a9c7fd006 (patch) | |
tree | 9d8b90c3ad1215c092512573dc5b2829de315e28 /src | |
parent | c936086354203ddf275435fff611d3e2c99e6975 (diff) |
shellcheck fix in website.sh
[ci skip]
Diffstat (limited to 'src')
-rwxr-xr-x | src/scripts/website.sh | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh index 847db531e..7018ecd7a 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -24,11 +24,9 @@ rm -f $WEBSITE_DIR/manual/.buildinfo 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 latex -cd latex -pdflatex botan.tex -cd .. -cp latex/botan.pdf $WEBSITE_DIR/manual/botan.pdf +sphinx-build -t website -c "$SPHINX_CONFIG" -b "latex" doc/manual handbook-latex +(cd handbook-latex && pdflatex botan.tex) +cp handbook-latex/botan.pdf $WEBSITE_DIR/manual/botan.pdf # build doxygen doxygen build/botan.doxy |