diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-07-26 10:15:19 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-07-26 10:15:19 +0200 |
commit | 8a9578a335df0090c3728ce68ac374653f369950 (patch) | |
tree | a4f44ee3966fd13befb0bba8289fd1d515edd6f9 /doc/handbook | |
parent | e8311f08b22b44e2ff889b3128550dca09e54608 (diff) | |
download | gnunet-8a9578a335df0090c3728ce68ac374653f369950.tar.gz gnunet-8a9578a335df0090c3728ce68ac374653f369950.zip |
fix
Diffstat (limited to 'doc/handbook')
-rw-r--r-- | doc/handbook/chapters/installation.texi | 4 |
1 files 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 | |||
203 | for your operating system. | 203 | for your operating system. |
204 | 204 | ||
205 | The following example configures the installation prefix | 205 | The following example configures the installation prefix |
206 | @code{/usr/lib} and disables building the documentation | 206 | @code{/usr/local} and disables building the documentation |
207 | @example | 207 | @example |
208 | $ cd ~/gnunet | 208 | $ cd ~/gnunet |
209 | $ ./bootstrap | 209 | $ ./bootstrap |
210 | $ configure --prefix=/usr/lib --disable-documentation | 210 | $ configure --prefix=/usr/local --disable-documentation |
211 | @end example | 211 | @end example |
212 | 212 | ||
213 | After running the bootstrap script and @code{configure} successfully | 213 | After running the bootstrap script and @code{configure} successfully |