aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-08-20 16:43:15 +0200
committerChristian Grothoff <christian@grothoff.org>2019-08-20 16:43:15 +0200
commitda8e86b40c419b679a16bc1befec9e6f46409ef2 (patch)
tree70084f9ea6c36f6b8ea7c18e90bcb10d3ed0a76f
parent131a0636b7066a8b8b85938c47ceac9e720bb630 (diff)
downloadwww-da8e86b40c419b679a16bc1befec9e6f46409ef2.tar.gz
www-da8e86b40c419b679a16bc1befec9e6f46409ef2.zip
applying fix from Marcos
-rw-r--r--template/install-on-ubuntu1804.html.j21
1 files changed, 1 insertions, 0 deletions
diff --git a/template/install-on-ubuntu1804.html.j2 b/template/install-on-ubuntu1804.html.j2
index 199bd1ed..6d5ac3b7 100644
--- a/template/install-on-ubuntu1804.html.j2
+++ b/template/install-on-ubuntu1804.html.j2
@@ -70,6 +70,7 @@
70 <h3>{{ _("Option 1: GNUnet for testing / usage") }}</h3> 70 <h3>{{ _("Option 1: GNUnet for testing / usage") }}</h3>
71 <code> 71 <code>
72 $ cd ~/gnunet_installation/gnunet<br> 72 $ cd ~/gnunet_installation/gnunet<br>
73 $ export GNUNET_PREFIX=/usr/local # for example, other locations possible<br>
73 $ ./bootstrap<br> 74 $ ./bootstrap<br>
74 $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br> 75 $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br>
75 $ sudo addgroup gnunetdns<br> 76 $ sudo addgroup gnunetdns<br>