diff options
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/ci/travis/build.sh | 2 | ||||
| -rwxr-xr-x | src/scripts/website.sh | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index 6834b6ae0..369450091 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -14,7 +14,7 @@ elif [ "$BUILD_MODE" = "sanitizer" ]; then fi if [ "$MODULES" = "min" ]; then - CFG_FLAGS+=(--no-autoload --enable-modules=base) + CFG_FLAGS+=(--minimized-build --enable-modules=base) fi # Workaround for missing update-alternatives diff --git a/src/scripts/website.sh b/src/scripts/website.sh index 525b2fcca..5b7e1c6cb 100755 --- a/src/scripts/website.sh +++ b/src/scripts/website.sh @@ -12,8 +12,8 @@ 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 +cp -r doc/news.rst doc/security.rst $WEBSITE_SRC_DIR +echo -e ".. toctree::\n\n index\n news\n security\n" > $WEBSITE_SRC_DIR/contents.rst 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 |