doc: further fixes.

Signed-off-by: ng0 <ng0@infotropique.org>

diff --git a/doc/chapters/installation.texi b/doc/chapters/installation.texi
index 69c50b5b68249a37959e75aa3e8309c6d17d4e61..4b1db324f7a9b624357c9e0b24dfb1d8ffd2109c 100644 (file)
--- a/doc/chapters/installation.texi
+++ b/doc/chapters/installation.texi
@@ -3895,7 +3895,7 @@ connecting to NATed peers using ICMP method" box.
 
 
 @node Peer configuration for distributions
-@subsubsection Peer configuration for distributions
+@subsection Peer configuration for distributions
 
 The "GNUNET_DATA_HOME" in "[path]" in /etc/gnunet.conf should be manually set
 to "/var/lib/gnunet/data/" as the default "~/.local/share/gnunet/" is probably

diff --git a/doc/chapters/philosophy.texi b/doc/chapters/philosophy.texi
index 56c9bb552717cda3417b63edf440b8c0e512ce1c..1696b2e64c680abd3e4f1448b66b9b5a3e389997 100644 (file)
--- a/doc/chapters/philosophy.texi
+++ b/doc/chapters/philosophy.texi
@@ -229,10 +229,6 @@ routing but imposes no minimal requirements on cover traffic. It is possible
 to forego anonymity when this is not required. The anonymity level of 0
 allows GNUnet to use more efficient, non-anonymous routing.
 
-@menu
-* How file-sharing achieves Anonymity:
-@end menu
-
 @node How file-sharing achieves Anonymity
 @subsubsection How file-sharing achieves Anonymity
 

diff --git a/doc/chapters/user.texi b/doc/chapters/user.texi
index b700eb6a178a2ed40217cf394c06115c585730fc..94f1ba1ee6247339f5178cc3d5440f83b2468635 100644 (file)
--- a/doc/chapters/user.texi
+++ b/doc/chapters/user.texi
@@ -92,8 +92,8 @@ country of origin (if determined) and address information. If hardly any peers
 are listed and/or if there are very few peers with a green light for
 connectivity, there is likely a problem with your network configuration.
 
-@node First steps: File-sharing
-@section First steps: File-sharing
+@node First steps - File-sharing
+@section First steps - File-sharing
 @c %**end of header
 
 This chapter describes first steps for file-sharing with GNUnet. To start, you