diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 77f8b527..647d3b7f 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -34795,7 +34795,7 @@ dorking with the configuration machinery. @item Installing from source is quite easy. It's how the maintainer worked for years under Fedora. -He had @file{/usr/local/bin} at the front of hs @env{PATH} and just did: +He had @file{/usr/local/bin} at the front of his @env{PATH} and just did: @example wget http://ftp.gnu.org/gnu/@var{package}/@var{package}-@var{x}.@var{y}.@var{z}.tar.gz @@ -34806,8 +34806,9 @@ make install # as root @end example @item -These days the maintainer uses Ubuntu 10.11 which is medium current, but -he is already doing the above for @command{autoconf} and @command{bison}. +These days the maintainer uses Ubuntu 12.04 which is medium current, but +he is already doing the above for @command{autoconf}, @command{automake} +and @command{bison}. @ignore (C. Rant: Recent Linux versions with GNOME 3 really suck. What |