Make docs/build.sh a bit more configurable

develop
lethosor 2016-08-23 15:54:11 -04:00
parent 30601dc3fd
commit 64e3b12f4f
1 changed files with 3 additions and 3 deletions

@ -9,12 +9,12 @@ cd $(dirname "$0")
cd ..
sphinx=sphinx-build
if [ -n "$1" ]; then
sphinx=$1
if [ -n "$SPHINX" ]; then
sphinx=$SPHINX
fi
if [ -z "$JOBS" ]; then
JOBS=2
fi
"$sphinx" -a -E -q -b html . ./docs/html -w ./docs/_sphinx-warnings.txt -j "$JOBS"
"$sphinx" -a -E -q -b html . ./docs/html -w ./docs/_sphinx-warnings.txt -j "$JOBS" "$@"