Minor doc fixes.

3 files changed, 24 insertions, 22 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 82ae98b7..8b3fe264 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -2,6 +2,7 @@
 
 	* macros: Update to GPL Version 3 and add copyright year.
 	* texinfo.tex: Updated, from automake 1.12.6.
+	* gawk.texi (Derived Files): A few minor fixes.
 
 2012-12-09         Arnold D. Robbins     <arnold@skeeve.com>
 
diff --git a/doc/gawk.info b/doc/gawk.info
index 6843effe..4a65ec7c 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -26885,7 +26885,7 @@ critical, that for any given branch, the above incantation _just works_.
 
        A. Installing from source is quite easy. It's how the maintainer
           worked for years under Fedora.  He had `/usr/local/bin' at
-          the front of hs `PATH' and just did:
+          the front of his `PATH' and just did:
 
                wget http://ftp.gnu.org/gnu/PACKAGE/PACKAGE-X.Y.Z.tar.gz
                tar -xpzvf PACKAGE-X.Y.Z.tar.gz
@@ -26893,9 +26893,9 @@ critical, that for any given branch, the above incantation _just works_.
                ./configure && make && make check
                make install    # as root
 
-       B. These days the maintainer uses Ubuntu 10.11 which is medium
-          current, but he is already doing the above for `autoconf' and
-          `bison'.
+       B. These days the maintainer uses Ubuntu 12.04 which is medium
+          current, but he is already doing the above for `autoconf',
+          `automake' and `bison'.
 
 
 
@@ -32275,20 +32275,20 @@ Node: Accessing The Source1067990
 Node: Adding Code1069593
 Node: New Ports1075635
 Node: Derived Files1079770
-Ref: Derived Files-Footnote-11085078
-Ref: Derived Files-Footnote-21085112
-Ref: Derived Files-Footnote-31085712
-Node: Future Extensions1085810
-Node: Implementation Limitations1086391
-Node: Basic Concepts1087618
-Node: Basic High Level1088299
-Ref: figure-general-flow1088570
-Ref: figure-process-flow1089169
-Ref: Basic High Level-Footnote-11092398
-Node: Basic Data Typing1092583
-Node: Glossary1095938
-Node: Copying1121249
-Node: GNU Free Documentation License1158806
-Node: Index1183943
+Ref: Derived Files-Footnote-11085091
+Ref: Derived Files-Footnote-21085125
+Ref: Derived Files-Footnote-31085725
+Node: Future Extensions1085823
+Node: Implementation Limitations1086404
+Node: Basic Concepts1087631
+Node: Basic High Level1088312
+Ref: figure-general-flow1088583
+Ref: figure-process-flow1089182
+Ref: Basic High Level-Footnote-11092411
+Node: Basic Data Typing1092596
+Node: Glossary1095951
+Node: Copying1121262
+Node: GNU Free Documentation License1158819
+Node: Index1183956
 
 End Tag Table
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