More title changes

diff --git a/doc/handbook/chapters/installation.texi b/doc/handbook/chapters/installation.texi
index 04e6220819820bff067e304b39a242947e1a65cb..ddd844286e41228cb63be45628ef46a31fecba7b 100644 (file)
--- a/doc/handbook/chapters/installation.texi
+++ b/doc/handbook/chapters/installation.texi
@@ -12,9 +12,9 @@ package manager.
 * Create @code{gnunet} user and group::
 * Preparing and Compiling the Source Code::
 * Installation::
-* MOVED FROM USER Checking the Installation::
+* Checking the Installation::
 * The graphical configuration interface::
-* MOVED FROM USER Config Leftovers::
+* Config Leftovers::
 @end menu
 
 @c -----------------------------------------------------------------------
@@ -223,8 +223,8 @@ PLUGINS = tcp
 
 
 
-@node MOVED FROM USER Checking the Installation
-@section MOVED FROM USER Checking the Installation
+@node Checking the Installation
+@section Checking the Installation
 @c %**end of header
 
 This section describes a quick, casual way to check if your GNUnet
@@ -1949,8 +1949,8 @@ desktop-user to "sudo" (i.e. using gtksudo) to the "gnunet" user account
 and then runs "gnunet-arm -e", "gnunet-setup" and "gnunet-arm -s" in
 sequence.
 
-@node MOVED FROM USER Config Leftovers
-@section MOVED FROM USER Config Leftovers
+@node Config Leftovers
+@section Config Leftovers
 
 This section describes how to start a GNUnet peer. It assumes that you
 have already compiled and installed GNUnet and its' dependencies.

diff --git a/doc/handbook/gnunet.texi b/doc/handbook/gnunet.texi
index 740957793b93651fdfbfdbf25ed159e1af1bcbc7..bfcc580d98d24d82ee7bb92b61564d42af1c76bd 100644 (file)
--- a/doc/handbook/gnunet.texi
+++ b/doc/handbook/gnunet.texi
@@ -122,9 +122,9 @@ Installing GNUnet
 * Create @code{gnunet} user and group::
 * Preparing and Compiling the Source Code::
 * Installation::
-* MOVED FROM USER Checking the Installation::
+* Checking the Installation::
 * The graphical configuration interface::
-* MOVED FROM USER Config Leftovers::
+* Config Leftovers::
 
 Using GNUnet