1 files changed, 9 insertions, 0 deletions
diff --git a/tools/docs-developer b/tools/docs-developer
new file mode 100755
index 0000000..bb042d1
--- /dev/null
+++ b/tools/docs-developer
@@ -0,0 +1,9 @@
+#!/bin/bash -e
+
+## tools/docs-developer
+##
+## Builds (and opens) the developer documentation.
+
+cd "$(dirname "$0")/.."
+
+mdbook serve --open docs/developer