From: Nils Gillmann <ng0@n0.is>
Date: Wed, 2 May 2018 15:09:52 +0000 (+0000)
Subject: Fix
X-Git-Tag: v0.11.0pre66~92
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=4834bb94f365ff30b457a097a7490e72003a2c7b;p=oweals%2Fgnunet.git

Fix

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

diff --git a/doc/documentation/chapters/terminology.texi b/doc/documentation/chapters/terminology.texi
index fa9b08479..566a7b167 100644
--- 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 b977a9a14..4762f119a 100644
--- 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