diff options
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/website.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh index 8ed5e4ba0..be4fc1685 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -13,7 +13,9 @@ mkdir -p $WEBSITE_SRC_DIR # 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 +echo -e ".. toctree::\n\n index\n news\n security\n \ +Users Manual <https://botan.randombit.net/manual>\n \ +API Reference <https://botan.randombit.net/doxygen>" > $WEBSITE_SRC_DIR/contents.rst 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 |