fix documentation: add missing section to menu

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 12b52f35c7a00c06a74bb882e39f874a383c5731..c1905e8993adb273b9e683e76e0df8d6d83a315d 100644 (file)
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -90,7 +90,8 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 * GNUnet Contributors Handbook::    Contributing to GNUnet
 * GNUnet Developer Handbook::       Developing GNUnet
 * GNU Free Documentation License::  The license of this manual
-* GNU General Public License::      The license of this manual
+* GNU General Public License::
+* GNU Affero General Public License::
 * Concept Index::                   Concepts
 * Programming Index::               Data types, functions, and variables