3 files changed, 8 insertions, 12 deletions
diff --git a/doc/documentation/chapters/developer.texi b/doc/documentation/chapters/developer.texi
index 16039c8d3e..d330720570 100644
--- a/doc/documentation/chapters/developer.texi
+++ b/doc/documentation/chapters/developer.texi
@@ -2,7 +2,7 @@
 @node GNUnet Developer Handbook
 @chapter GNUnet Developer Handbook
 
-This book is intended to be an introduction for programmers that want to
+0This book is intended to be an introduction for programmers that want to
 extend the GNUnet framework. GNUnet is more than a simple peer-to-peer
 application.
 
@@ -40,7 +40,7 @@ new chapters, sections or insightful comments.
 
 @menu
 * Developer Introduction::
-* Internal Dependencies::
+* Internal dependencies::
 * Code overview::
 * System Architecture::
 * Subsystem stability::
@@ -1184,7 +1184,7 @@ section in the @file{README} file.
 First, we need to build or install (depending on your OS) the following
 packages. If you build them from source, build them in this exact order:
 
-@exmaple
+@example
 libgpgerror, libgcrypt, libnettle, libunbound, GnuTLS (with libunbound
 support)
 @end example
@@ -1301,10 +1301,9 @@ You can find specific, detailed instructions for installing of the
 dependencies (and possibly the rest of the GNUnet installation) in the
 platform-specific descriptions, which can be found in the Index.
 Please consult them now.
-If your distribution is not listed, please study
-@ref{Build instructions for Debian 8}, the build instructions for
-Debian stable, carefully as you try to install the dependencies for your
-own distribution.
+If your distribution is not listed, please study the build
+instructions for Debian stable, carefully as you try to install the
+dependencies for your own distribution.
 Contributing additional instructions for further platforms is always
 appreciated.
 Please take in mind that operating system development tends to move at
diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index b5457cf157..422619f847 100644
--- a/doc/documentation/chapters/user.texi
+++ b/doc/documentation/chapters/user.texi
@@ -2258,8 +2258,6 @@ list of peers can contact it to download this list.
 To download this hostlist the peer uses HTTP.
 For this reason you have to build your peer with libgnurl (or libcurl)
 and microhttpd support.
-How you build your peer with these options can be found here:
-@xref{Generic installation instructions}.
 
 To configure your peer to act as a bootstrap server you have to add the
 @command{-p} option to @code{OPTIONS} in the @code{[hostlist]} section
diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 618915501e..e1847c2270 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -75,7 +75,6 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 * Preface::                         Chapter 0
 * Philosophy::                      About GNUnet
 @c * Vocabulary::                      Vocabulary
-* GNUnet Installation Handbook::    How to install GNUnet
 * Using GNUnet::                    Using GNUnet
 @c * Configuration Handbook::          Configuring GNUnet
 * GNUnet Contributors Handbook::    Contributing to GNUnet
@@ -136,7 +135,7 @@ GNUnet Contributors Handbook
 GNUnet Developer Handbook
 
 * Developer Introduction::
-* Internal Dependencies::
+* Internal dependencies::
 * Code overview::
 * System Architecture::
 * Subsystem stability::
@@ -144,7 +143,7 @@ GNUnet Developer Handbook
 * Build-system::
 * Developing extensions for GNUnet using the gnunet-ext template::
 * Writing testcases::
-* Building GNUNet and its dependencies::
+* Building GNUnet and its dependencies::
 * TESTING library::
 * Performance regression analysis with Gauger::
 * TESTBED Subsystem::