[GNUnet-SVN] [www] branch stable updated (f596811 -> 97e4878)

[gnunet]

This is an automated email from the git hooks/post-receive script.

rexxnor pushed a change to branch stable
in repository www.

    from f596811  Merge branch 'master' into stable
     add 62c39ba  removed incorrect disable-documentation argument from 
installation instructions
     new 97e4878  Merge branch 'master' into stable

The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 template/install-on-archpi.html.j2  |  2 +-
 template/install-on-debian9.html.j2 | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/template/install-on-archpi.html.j2 
b/template/install-on-archpi.html.j2
index dd205da..00c8dc5 100644
--- a/template/install-on-archpi.html.j2
+++ b/template/install-on-archpi.html.j2
@@ -71,7 +71,7 @@
     $ ./bootstrap<br>
     $ export GNUNET_PREFIX=/usr # for example, other locations possible
     $ export CFLAGS="-g -Wall -O0"<br>
-    $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation 
--with-gnunet=$GNUNET_PREFIX<br>
+    $ ./configure --prefix=$GNUNET_PREFIX --with-gnunet=$GNUNET_PREFIX<br>
     $ make -j$(nproc || echo -n 1)<br>
     $ sudo make install
   </code>
diff --git a/template/install-on-debian9.html.j2 
b/template/install-on-debian9.html.j2
index 63e2a3f..bff94a0 100644
--- a/template/install-on-debian9.html.j2
+++ b/template/install-on-debian9.html.j2
@@ -99,7 +99,7 @@
     debug symbols that can be displayed with a debugger). Otherwise choose the
     production version.
   </p>
-  
+
   <h3>{{ _("Option 1: GNUnet for testing / usage") }}</h3>
 
   <code>
@@ -138,11 +138,11 @@
     $ ./bootstrap<br>
     $ export GNUNET_PREFIX=/usr/local # for example, other locations 
possible</br>
     $ export CFLAGS="-g -Wall -O0"<br>
-    $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation 
--with-gnunet=$GNUNET_PREFIX<br>
+    $ ./configure --prefix=$GNUNET_PREFIX --with-gnunet=$GNUNET_PREFIX<br>
     $ make -j$(nproc || echo -n 1)<br>
     $ sudo make install
   </code>
-  <p>  
+  <p>
   Since we added our user to the group gnunet, we need to call the following 
command (or alternatively log out and log in again) to make the membership 
effective:
   </p>
   <code>
@@ -217,12 +217,12 @@
     $ mkdir -p ~/.config
     $ touch ~/.config/gnunet.conf
   </code>
-  
+
   <p>
     Now we created the configuration file. Please check the handbook for a 
first <a 
href="https://docs.gnunet.org/handbook/gnunet.html#Minimal-configuration";>minimal
 configuration</a>. But in general, we dont need to configure anything in 
particular for now.
   </p>
 
-To go on, please <a href="https://gnunet.org/en/use.html";>move over here</a>: 
+To go on, please <a href="https://gnunet.org/en/use.html";>move over here</a>:
 
   <h2>{{ _("Use GNUnet!") }}</h2>
   <p>

-- 
To stop receiving notification emails like this one, please contact
address@hidden.