diff options
| author | René Korthaus <[email protected]> | 2017-03-31 11:01:14 +0200 |
|---|---|---|
| committer | René Korthaus <[email protected]> | 2017-03-31 11:01:14 +0200 |
| commit | e87b2b5de0ab8dbfb41389e6bd1d9581e279565c (patch) | |
| tree | 1ee22b7c26a34bc3caa879f270438a78a890aac4 /src/scripts | |
| parent | 074bc5ad520397793f83c84c762da38b39fbf36b (diff) | |
Add TOC link to users manual and API ref for website
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 7018ecd7a..398d39725 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 |