diff options
| author | Simon Warta <[email protected]> | 2015-07-21 10:06:41 +0200 |
|---|---|---|
| committer | Simon Warta <[email protected]> | 2015-07-22 16:40:44 +0200 |
| commit | 0e2271d2391e2855193953bb0acdb47e56d280de (patch) | |
| tree | ce5a4a2038aff312f0d4492051e70189e91cc21f /src/scripts/website.sh | |
| parent | 46a7902a935cbd25118d2900a36aaa99355a662d (diff) | |
Use shellcheck where possible
Diffstat (limited to 'src/scripts/website.sh')
| -rwxr-xr-x | src/scripts/website.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/scripts/website.sh b/src/scripts/website.sh index 667156d22..525b2fcca 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -1,8 +1,9 @@ -#!/bin/sh +#!/bin/bash +set -e +which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available -#set +x SPHINX_CONFIG=./src/build-data/sphinx -SPHINX_OPTS='-b html' +SPHINX_BUILDER="html" WEBSITE_DIR=./www-botan WEBSITE_SRC_DIR=./www-src @@ -14,8 +15,8 @@ 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 +sphinx-build -t website -c "$SPHINX_CONFIG" -b "$SPHINX_BUILDER" $WEBSITE_SRC_DIR $WEBSITE_DIR +sphinx-build -t website -c "$SPHINX_CONFIG" -b "$SPHINX_BUILDER" doc/manual $WEBSITE_DIR/manual rm -rf $WEBSITE_DIR/.doctrees rm -f $WEBSITE_DIR/.buildinfo rm -rf $WEBSITE_DIR/manual/.doctrees |