1 files changed, 0 insertions, 18 deletions

diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh
deleted file mode 100755
index 5e60a2d0f..000000000
--- a/doc/documentation/run-gendocs.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-make version.texi/replacement
-
-./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial"
-#cd manual
-#mkdir gnunet-c-tutorial
-#mv * gnunet-c-tutorial/
-#cd ..
-./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet"
-#cd manual
-#mkdir handbook
-#mkdir ../tmp-gnunet
-#mv gnunet ../tmp-gnunet
-#mv * handbook/
-#mv ../tmp-gnunet gnunet
-cp "index.html" manual/
-printf "Success"