diff options
| author | Jack Lloyd <[email protected]> | 2017-03-31 08:31:20 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-03-31 08:31:20 -0400 |
| commit | 741940091b802aed24be7a578ce853b4a00cd907 (patch) | |
| tree | 0784d24d149279b3952035c70beb1542cf4a3e83 /src/scripts | |
| parent | da0990931c26b1ee0d468231be35643b4661b503 (diff) | |
| parent | e87b2b5de0ab8dbfb41389e6bd1d9581e279565c (diff) | |
Merge GH #956 Add link to API docs in website table of contents
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 |