diff --git a/docs/build.sh b/docs/build.sh index d9c0428ad..6745db4d5 100755 --- a/docs/build.sh +++ b/docs/build.sh @@ -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" "$@"