Fail gracefully when pandoc and sphinx-build aren't installed.

Refs #5774
This commit is contained in:
Gunnar Beutner 2014-04-08 10:45:22 +02:00
parent 9f26878321
commit 6a841e8627
1 changed files with 7 additions and 3 deletions

View File

@ -6,13 +6,17 @@ if [ -z "$1" ]; then
exit 1
fi
BUILDDIR="$1"
mkdir -p $BUILDDIR/htdocs
if ! which pandoc; then
echo "Please install pandoc to build the documentation files."
echo "Please install pandoc to build the documentation files." > $BUILDDIR/htdocs/index.html
exit 0
fi
if ! which pandoc; then
echo "Please install sphinx-build to build the documentation files."
if ! which sphinx-build; then
echo "Please install sphinx-build to build the documentation files." > $BUILDDIR/htdocs/index.html
exit 0
fi