1 files changed, 7 insertions, 0 deletions
diff --git a/bin/build-docs b/bin/build-docs
new file mode 100755
index 0000000..246f5c4
--- /dev/null
+++ b/bin/build-docs
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+set -e
+
+cd "$(dirname "$0")/.."
+cd docs
+make html
+echo "Documentation built successfully!"