diff options
Diffstat (limited to 'src/scripts/website.sh')
| -rwxr-xr-x | src/scripts/website.sh | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh index 3b81b88e9..847db531e 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -3,7 +3,6 @@ set -e which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available SPHINX_CONFIG=./src/build-data/sphinx -SPHINX_BUILDER="html" WEBSITE_DIR=./www-botan WEBSITE_SRC_DIR=./www-src @@ -11,26 +10,25 @@ WEBSITE_SRC_DIR=./www-src rm -rf $WEBSITE_SRC_DIR $WEBSITE_DIR mkdir -p $WEBSITE_SRC_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 .. - # build online manual cp readme.rst $WEBSITE_SRC_DIR/index.rst cp -r news.rst doc/security.rst $WEBSITE_SRC_DIR echo -e ".. toctree::\n\n index\n news\n security\n" > $WEBSITE_SRC_DIR/contents.rst -sphinx-build -t website -c "$SPHINX_CONFIG" -b "$SPHINX_BUILDER" $WEBSITE_SRC_DIR $WEBSITE_DIR -sphinx-build -t website -c "$SPHINX_CONFIG" -b "$SPHINX_BUILDER" doc/manual $WEBSITE_DIR/manual +sphinx-build -t website -c "$SPHINX_CONFIG" -b "html" $WEBSITE_SRC_DIR $WEBSITE_DIR +sphinx-build -t website -c "$SPHINX_CONFIG" -b "html" doc/manual $WEBSITE_DIR/manual rm -rf $WEBSITE_DIR/.doctrees rm -f $WEBSITE_DIR/.buildinfo rm -rf $WEBSITE_DIR/manual/.doctrees 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 # build doxygen doxygen build/botan.doxy |