Documentation [auto]build scripts

zrzka · Sep 30, 2017 · 1abfb19 · 1abfb19
1 parent c01fb06
commit 1abfb19
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/docs/autobuild.sh b/docs/autobuild.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+
+if [ -d build ]; then
+    rm -rf build
+fi
+sphinx-autobuild -b html source build/html
diff --git a/docs/build.sh b/docs/build.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+
+if [ -d build ]; then
+    rm -rf build
+fi
+make html