doc/man/5,1: in SEE ALSO mention that the main documentation is maintained in texinfo format as well as two optional section 7 manuals.

Signed-off-by: Nils Gillmann <ng0@n0.is>

1 files changed, 20 insertions, 1 deletions

diff --git a/doc/man/gnunet.conf.5 b/doc/man/gnunet.conf.5
index 3dd8c7b62..ec6a089d7 100644
--- a/doc/man/gnunet.conf.5
+++ b/doc/man/gnunet.conf.5
@@ -1,4 +1,4 @@
-.TH GNUNET.CONF "5" "05 May 2018" "GNUnet"
+.TH GNUNET.CONF "5" "26 October 2018" "GNUnet"
 .SH NAME
 gnunet.conf \- GNUnet configuration file
 .SH SYNOPSIS
@@ -149,3 +149,22 @@ Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending electronic
 mail to <bug-gnunet@gnu.org>
 .SH "SEE ALSO"
 \fBgnunet\-setup\fP(1), \fBgnunet\-arm\fP(1)
+The full documentation for
+.B gnunet
+is maintained as a Texinfo manual.  If the
+.B info
+and
+.B gnunet
+programs are properly installed at your site, the command
+.IP
+.B info gnunet
+.PP
+should give you access to the complete handbook,
+.IP
+.B info gnunet-c-tutorial
+.PP
+will give you access to a tutorial for developers.
+.PP
+Depending on your installation, this information is also
+available in
+\fBgnunet\fP(7) and \fBgnunet-c-tutorial\fP(7).
\ No newline at end of file