diff --git a/tools/gen_doc.sh b/tools/gen_doc.sh
deleted file mode 100644
index ff4d3c64..00000000
--- a/tools/gen_doc.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-mkdir ../src/documentation
-for i in `ls ../documentation`
-do
-	if test -d ../documentation/$i
-then
-		mkdir ../src/documentation/$i
-		pandoc -s ../documentation/$i/changes.md -o ../src/documentation/$i/changes.html
-		pandoc -s ../documentation/$i/manual.md -o ../src/documentation/$i/manual.html
-  cp ../documentation/license.txt ../src/documentation/license.txt
-	fi
-done
-exit