summaryrefslogtreecommitdiff
path: root/tools/generate-docs
diff options
context:
space:
mode:
Diffstat (limited to 'tools/generate-docs')
-rwxr-xr-xtools/generate-docs7
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/generate-docs b/tools/generate-docs
new file mode 100755
index 0000000..0caab1d
--- /dev/null
+++ b/tools/generate-docs
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+cd ..
+rm -rf doc docs
+doxygen
+mv doc/html docs
+touch docs/.nojekyll