Fix some comedy which made its way into release

diff --git a/doc/handbook/chapters/developer.texi b/doc/handbook/chapters/developer.texi
index 7f16ea2ee92698ff66309abf8977fd0c6dc958f0..040922022020093369b39cc219cbd71f56c7aa8b 100644 (file)
--- a/doc/handbook/chapters/developer.texi
+++ b/doc/handbook/chapters/developer.texi
@@ -2176,7 +2176,7 @@ work):
 @example
 export PYPI=@value{PYPI-URL}
 wget $PYPI/z/zope.interface/zope.interface-3.8.0.tar.gz
-tar zvfz zope.interface-3.8.0.tar.gz
+tar xzvf zope.interface-3.8.0.tar.gz
 cd zope.interface-3.8.0
 sudo python setup.py install
 @end example

diff --git a/doc/handbook/chapters/installation.texi b/doc/handbook/chapters/installation.texi
index c7c9722fa0c664a6eba774bade5dd8127f9e0997..dfea3d27433afdc62696c5810543b4fdc6c78c28 100644 (file)
--- a/doc/handbook/chapters/installation.texi
+++ b/doc/handbook/chapters/installation.texi
@@ -82,7 +82,7 @@ The archive can be found at
 @uref{https://ftpmirror.gnu.org/gnu/gnunet/}. Extract it using a graphical
 archive tool or @code{tar}:
 @example
-tar xzvf gnunet-0.11.0pre66.tar.gz
+tar xzvf gnunet-@value{VERSION}.tar.gz
 @end example
 
 In the next chapter we will assume that the source code is available