From d7de9564fdc1db1e572d9f1c9d611d77ab57446e Mon Sep 17 00:00:00 2001
From: ng0 <ng0@infotropique.org>
Date: Fri, 27 Oct 2017 16:30:07 +0000
Subject: [PATCH] gendoc fixes

---
 doc/documentation/index.html     | 6 +++---
 doc/documentation/run-gendocs.sh | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/documentation/index.html b/doc/documentation/index.html
index 2481ac46a..51670f196 100644
--- 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 6e9d43b48..d02570177 100755
--- 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
-- 
2.25.1