From 8a9578a335df0090c3728ce68ac374653f369950 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 26 Jul 2019 10:15:19 +0200
Subject: [PATCH] fix

---
 doc/handbook/chapters/installation.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/handbook/chapters/installation.texi b/doc/handbook/chapters/installation.texi
index 963f564ac..327cffeaf 100644
--- a/doc/handbook/chapters/installation.texi
+++ b/doc/handbook/chapters/installation.texi
@@ -203,11 +203,11 @@ if you are in doubt of any configure options or require fixes
 for your operating system.
 
 The following example configures the installation prefix
-@code{/usr/lib} and disables building the documentation
+@code{/usr/local} and disables building the documentation
 @example
 $ cd ~/gnunet
 $ ./bootstrap
-$ configure --prefix=/usr/lib --disable-documentation
+$ configure --prefix=/usr/local --disable-documentation
 @end example
 
 After running the bootstrap script and @code{configure} successfully
-- 
2.25.1