1 files changed, 1 insertions, 0 deletions
diff --git a/template/install-on-debian9.html.j2 b/template/install-on-debian9.html.j2
index 9641964b..338fa925 100644
--- a/template/install-on-debian9.html.j2
+++ b/template/install-on-debian9.html.j2
@@ -105,6 +105,7 @@
  <code>
    $ cd ~/gnunet_installation/gnunet<br>
    $ ./bootstrap<br>
+    $ export GNUNET_PREFIX=/usr/local # for example, other locations possible
    $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br>
    $ sudo addgroup gnunetdns<br>
    $ sudo adduser --system --group --disabled-login --home /var/lib/gnunet gnunet<br>

diff --git a/template/install-on-debian9.html.j2 b/template/install-on-debian9.html.j2 index 9641964b..338fa925 100644 --- a/template/install-on-debian9.html.j2 +++ b/template/install-on-debian9.html.j2
@@ -105,6 +105,7 @@
105	<code>	105	<code>
106	$ cd ~/gnunet_installation/gnunet<br>	106	$ cd ~/gnunet_installation/gnunet<br>
107	$ ./bootstrap<br>	107	$ ./bootstrap<br>
		108	$ export GNUNET_PREFIX=/usr/local # for example, other locations possible
108	$ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br>	109	$ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br>
109	$ sudo addgroup gnunetdns<br>	110	$ sudo addgroup gnunetdns<br>
110	$ sudo adduser --system --group --disabled-login --home /var/lib/gnunet gnunet<br>	111	$ sudo adduser --system --group --disabled-login --home /var/lib/gnunet gnunet<br>