Fix

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

diff --git a/doc/documentation/chapters/terminology.texi b/doc/documentation/chapters/terminology.texi
index fa9b08479b05c70111042f9ed4575c40655c8b77..566a7b1671793bb49c59ede18c0f4ce9bdf9658e 100644 (file)
--- a/doc/documentation/chapters/terminology.texi
+++ b/doc/documentation/chapters/terminology.texi
@@ -2,20 +2,22 @@
 @chapter Terminology
 
 @menu
-* Terminology::
+* General Terminology::
 * Typography::
 @end menu
 
-@node Terminology
-@section Terminology
+@node General Terminology
+@section General Terminology
 
-In the following Manual we may use words that can not be found in the Appendix. Since we
-want to keep the Manual selfcontained, we will explain words here.
+In the following Manual we may use words that can not be found in the
+Appendix. Since we want to keep the Manual selfcontained, we will
+explain words here.
 
 @node Typography
 @section Typography
 
-When giving examples for commands, shell prompts are used to show if the command should/can
-be issued as root, or if "normal" user privileges are sufficient. We use a @code{#}
-for root's shell prompt, a @code{%} for users' shell prompt, assuming they use the C-shell
-or tcsh and a @code{$} for bourne shell and derivatives.
+When giving examples for commands, shell prompts are used to show if the
+command should/can be issued as root, or if "normal" user privileges are
+sufficient. We use a @code{#} for root's shell prompt, a
+@code{%} for users' shell prompt, assuming they use the C-shell or tcsh
+and a @code{$} for bourne shell and derivatives.

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index b977a9a148a1780da5da6ff2869e929a5dbb9564..4762f119a56b882c51c8f0138a79a675ac565291 100644 (file)
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -89,8 +89,8 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 
 Terminology and Typography
 
-* Terminology
-* Typography
+* General Terminology::
+* Typography::
 
 Philosophy