diff options
| author | Jack Lloyd <[email protected]> | 2015-07-03 10:43:02 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2015-07-03 10:43:02 -0400 |
| commit | ae94396329f583d0999d4086936811f68bddd59b (patch) | |
| tree | 3aaaa95dc4bea25564e9c11b7a70a1ebb2f4e7b2 /src/scripts/website.sh | |
| parent | 56d07f092b170bfdf4972414b0739664c8d6294a (diff) | |
Simplify the website and documentation layout.
Merge the website index, download page, algo page into the readme file
so all the important information is in one place. The readme.rst is now
also used as the website landing page.
Remove the website target on the makefile, replaced by website.sh,
since I'm the only one who ever needs to run this.
Fix various ReST formatting bugs in news.rst and the manual
Remove the old build_log which hasn't been touched in years and
refers entirely to compilers which we don't support anymore.
Diffstat (limited to 'src/scripts/website.sh')
| -rwxr-xr-x | src/scripts/website.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh new file mode 100755 index 000000000..667156d22 --- /dev/null +++ b/src/scripts/website.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +#set +x +SPHINX_CONFIG=./src/build-data/sphinx +SPHINX_OPTS='-b html' + +WEBSITE_DIR=./www-botan +WEBSITE_SRC_DIR=./www-src + +rm -rf $WEBSITE_SRC_DIR $WEBSITE_DIR +mkdir -p $WEBSITE_SRC_DIR + +cp readme.rst $WEBSITE_SRC_DIR/index.rst +cp -r doc/news.rst $WEBSITE_SRC_DIR +echo -e ".. toctree::\n\n index\n news\n" > $WEBSITE_SRC_DIR/contents.rst + +sphinx-build -t website -c $SPHINX_CONFIG $SPHINX_OPTS $WEBSITE_SRC_DIR $WEBSITE_DIR +sphinx-build -t website -c $SPHINX_CONFIG $SPHINX_OPTS 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 doc/license.txt doc/pgpkey.txt $WEBSITE_DIR + +doxygen build/botan.doxy +mv build/docs/doxygen $WEBSITE_DIR/doxygen |