+

diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh
index bd5da30d3074e72b12f23559aa82228e676534a5..6e9d43b48179a7cf2d563b689027c1546ba56d30 100755 (executable)
--- a/doc/documentation/run-gendocs.sh
+++ b/doc/documentation/run-gendocs.sh
@@ -14,4 +14,5 @@ make version2.texi
 #mv gnunet ../tmp-gnunet
 #mv * handbook/
 #mv ../tmp-gnunet gnunet
+cp "index.html" manual/
 printf "Success"