gendoc fixes

diff --git a/doc/documentation/index.html b/doc/documentation/index.html
index 2481ac46a28d380262577aa6ecf14fe3038ab283..51670f196e72f72a5497a8bfa422ce1e04b477c3 100644 (file)
--- a/doc/documentation/index.html
+++ b/doc/documentation/index.html
@@ -1,5 +1,5 @@
-<title>GNUnet - GNUnet Handbooks</title>
-<h2>GNUnet - GNUnet Handbooks</h2>
+<title>GNUnet - GNUnet Manuals and Handbooks</title>
+<h2>GNUnet - GNUnet Manuals and Handbooks</h2>
 
 <address>GNUnet e.V.</address>
 <address></address>
@@ -7,7 +7,7 @@
 <p>The following handbooks and manuals are available:</p>
 
 <ul>
-<li><a href="gnunet/index.html">GNUnet Reference Handbook</li>
+<li><a href="gnunet/index.html">GNUnet Reference Manual</li>
 <li><a href="gnunet-c-tutorial/index.html">GNUnet C Tutorial</li>
 </ul>
 

diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh
index 6e9d43b48179a7cf2d563b689027c1546ba56d30..d0257017722dc707a4f451251552ee23697e0dd8 100755 (executable)
--- a/doc/documentation/run-gendocs.sh
+++ b/doc/documentation/run-gendocs.sh
@@ -7,7 +7,7 @@ make version2.texi
 #mkdir gnunet-c-tutorial
 #mv * gnunet-c-tutorial/
 #cd ..
-./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet reference handbook" -o "manual/gnunet"
+./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet"
 #cd manual
 #mkdir handbook
 #mkdir ../tmp-gnunet