1 files changed, 12 insertions, 0 deletions
diff --git a/build-docs.sh b/build-docs.sh
new file mode 100755
index 0000000..5efccc5
--- /dev/null
+++ b/build-docs.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -e
+
+cd $(dirname -- "$0")
+
+PYTHON=${PYTHON:-python3}
+SRC=docs
+DST=build/docs
+
+mkdir -p $DST
+$PYTHON -m sphinx -q -b html $SRC $DST