1 files changed, 9 insertions, 0 deletions
diff --git a/tools/build b/tools/build
new file mode 100755
index 0000000..5e25d51
--- /dev/null
+++ b/tools/build
@@ -0,0 +1,9 @@
+#!/bin/bash -e
+
+cd "$(dirname "$0")/.."
+
+## tools/build
+##
+## Converts the content in docs/ into a deployable website in site/
+
+exec mkdocs build