diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2012-12-15 22:12:15 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2012-12-15 22:12:15 +0200 |
commit | 9f87da605cc746045f1bd6a697e10a766ce26ad5 (patch) | |
tree | 5e7b80f1bbfc9676be13dece4214aca30b89911d /doc/gawk.texi | |
parent | 0c6eb4d4b1e1f4b6e1aee116929863f9b820fdcc (diff) | |
download | egawk-9f87da605cc746045f1bd6a697e10a766ce26ad5.tar.gz egawk-9f87da605cc746045f1bd6a697e10a766ce26ad5.tar.bz2 egawk-9f87da605cc746045f1bd6a697e10a766ce26ad5.zip |
Minor doc fixes.
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 |