2016-08-11 16:43:34 -06:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# usage:
|
|
|
|
# ./build.sh
|
|
|
|
# ./build.sh sphinx-executable
|
|
|
|
# JOBS=3 ./build.sh ...
|
|
|
|
|
|
|
|
cd $(dirname "$0")
|
|
|
|
cd ..
|
|
|
|
|
|
|
|
sphinx=sphinx-build
|
2016-08-23 13:54:11 -06:00
|
|
|
if [ -n "$SPHINX" ]; then
|
|
|
|
sphinx=$SPHINX
|
2016-08-11 16:43:34 -06:00
|
|
|
fi
|
|
|
|
|
|
|
|
if [ -z "$JOBS" ]; then
|
|
|
|
JOBS=2
|
|
|
|
fi
|
|
|
|
|
2020-06-17 18:36:07 -06:00
|
|
|
"$sphinx" -a -E -b html . ./docs/html -w ./docs/_sphinx-warnings.txt -j "$JOBS" "$@"
|