1 files changed, 0 insertions, 7 deletions
diff --git a/tools/generate-docs b/tools/generate-docs
deleted file mode 100755
index 0caab1d..0000000
--- a/tools/generate-docs
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-cd ..
-rm -rf doc docs
-doxygen
-mv doc/html docs
-touch docs/.nojekyll