From 8a9a639ad45d0900e185221f015bb64936361629 Mon Sep 17 00:00:00 2001 From: Julius Bünger Date: Thu, 28 Jun 2018 23:47:51 +0200 Subject: fix documentation: add missing section to menu --- doc/documentation/gnunet.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'doc/documentation') diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi index 12b52f35c..c1905e899 100644 --- 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 -- cgit v1.2.3