docs: publish.sh check if sphinx-versioning is installed

refs #35
This commit is contained in:
Christian Schwarz 2017-11-18 21:16:54 +01:00
parent 896f31bbf3
commit d424e800c8

View File

@ -16,6 +16,11 @@ exit_msg() {
}
trap exit_msg EXIT
if ! type sphinx-versioning >/dev/null; then
echo "install sphinx-versioning and come back"
exit 1
fi
cd "$SCRIPTDIR"
if [ ! -d "$PUBLICDIR" ]; then