fix

diff --git a/doc/documentation/chapters/installation.texi b/doc/documentation/chapters/installation.texi
index 07853313ba8c061d4aff2252947a1d613ee6a305..38eb7c0b055bc1f4bb9bf1f07095d2506ff4f8da 100644 (file)
--- a/doc/documentation/chapters/installation.texi
+++ b/doc/documentation/chapters/installation.texi
@@ -796,6 +796,7 @@ $ make ; sudo make install ; cd ..
 
 @node generic source installation - libgnurl
 @subsection generic source installation - libgnurl
+
 @example
 $ wget https://gnunet.org/sites/default/files/gnurl-7.34.0.tar.bz2
 $ tar xvf gnurl-7.34.0.tar.bz2
@@ -810,6 +811,10 @@ $ ./configure --enable-ipv6 --with-gnutls=/usr/local --without-libssh2 \
 $ make ; sudo make install; cd ..
 @end example
 
+@menu
+* Fixing libgnurl build issues::
+@end menu
+
 @node Fixing libgnurl build issues
 @subsubsection Fixing libgnurl build issues