diff options
| author | Jack Lloyd <[email protected]> | 2017-03-22 10:54:30 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-03-22 10:54:30 -0400 |
| commit | 131e32146811fc553220681c132b045e95e02877 (patch) | |
| tree | 426b1a7115df810b4eb6b2abff17a7e322b32657 /src/scripts | |
| parent | ddb6aa92586bafda7a934c61bd7dab2f1b9ee079 (diff) | |
| parent | c4d78dfb19ba082a224d68515fdf249c9b853904 (diff) | |
Merge GH #923 Build PDF handbook
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/website.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh index bb6e69df7..3b81b88e9 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -11,6 +11,13 @@ 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 @@ -23,5 +30,8 @@ rm -rf $WEBSITE_DIR/manual/.doctrees rm -f $WEBSITE_DIR/manual/.buildinfo cp license.txt doc/pgpkey.txt $WEBSITE_DIR + + +# build doxygen doxygen build/botan.doxy mv build/docs/doxygen $WEBSITE_DIR/doxygen |