From d424e800c8785e48cf132771dbb3e80f42b7cecb Mon Sep 17 00:00:00 2001
From: Christian Schwarz <me@cschwarz.com>
Date: Sat, 18 Nov 2017 21:16:54 +0100
Subject: [PATCH] docs: publish.sh check if sphinx-versioning is installed

refs #35
---
 docs/publish.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/publish.sh b/docs/publish.sh
index 6a6ca0a..3655b72 100755
--- a/docs/publish.sh
+++ b/docs/publish.sh
@@ -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