Small doc fix.

4 files changed, 33 insertions, 29 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index f45dfceb..d3e716e0 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,7 @@
+2019-04-05         Andrew J. Schorr     <aschorr@telemetry-investments.com>
+
+	* gawktexi.in: Add a missing word.
+
 2019-03-25         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawkinet.texi: Small formatting fixes. Update version and dates.
diff --git a/doc/gawk.info b/doc/gawk.info
index 69a5d0ab..19be939f 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -30905,9 +30905,9 @@ steps:
   4. A number of the files that come with 'gawk' are maintained by other
      people.  Thus, you should not change them unless it is for a very
      good reason; i.e., changes are not out of the question, but changes
-     to these files are scrutinized extra carefully.  These aree all the
-     files the 'support' directory within the 'gawk' distribution.  See
-     there.
+     to these files are scrutinized extra carefully.  These are all the
+     files in the 'support' directory within the 'gawk' distribution.
+     See there.
 
   5. A number of other files are provided by the GNU Autotools
      (Autoconf, Automake, and GNU 'gettext').  You should not change
@@ -37440,29 +37440,29 @@ Node: Additions1237745
 Node: Accessing The Source1238670
 Node: Adding Code1240107
 Node: New Ports1246326
-Node: Derived Files1250700
-Ref: Derived Files-Footnote-11256360
-Ref: Derived Files-Footnote-21256395
-Ref: Derived Files-Footnote-31256993
-Node: Future Extensions1257107
-Node: Implementation Limitations1257765
-Node: Extension Design1258948
-Node: Old Extension Problems1260092
-Ref: Old Extension Problems-Footnote-11261610
-Node: Extension New Mechanism Goals1261667
-Ref: Extension New Mechanism Goals-Footnote-11265031
-Node: Extension Other Design Decisions1265220
-Node: Extension Future Growth1267333
-Node: Notes summary1268169
-Node: Basic Concepts1269327
-Node: Basic High Level1270008
-Ref: figure-general-flow1270290
-Ref: figure-process-flow1270975
-Ref: Basic High Level-Footnote-11274276
-Node: Basic Data Typing1274461
-Node: Glossary1277789
-Node: Copying1309627
-Node: GNU Free Documentation License1347170
-Node: Index1372290
+Node: Derived Files1250701
+Ref: Derived Files-Footnote-11256361
+Ref: Derived Files-Footnote-21256396
+Ref: Derived Files-Footnote-31256994
+Node: Future Extensions1257108
+Node: Implementation Limitations1257766
+Node: Extension Design1258949
+Node: Old Extension Problems1260093
+Ref: Old Extension Problems-Footnote-11261611
+Node: Extension New Mechanism Goals1261668
+Ref: Extension New Mechanism Goals-Footnote-11265032
+Node: Extension Other Design Decisions1265221
+Node: Extension Future Growth1267334
+Node: Notes summary1268170
+Node: Basic Concepts1269328
+Node: Basic High Level1270009
+Ref: figure-general-flow1270291
+Ref: figure-process-flow1270976
+Ref: Basic High Level-Footnote-11274277
+Node: Basic Data Typing1274462
+Node: Glossary1277790
+Node: Copying1309628
+Node: GNU Free Documentation License1347171
+Node: Index1372291
 
 End Tag Table
diff --git a/doc/gawk.texi b/doc/gawk.texi
index eb9560e8..15c33a1d 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -41972,7 +41972,7 @@ A number of the files that come with @command{gawk} are maintained by other
 people.  Thus, you should not change them
 unless it is for a very good reason; i.e., changes are not out of the
 question, but changes to these files are scrutinized extra carefully.
-These aree all the files the @file{support} directory
+These are all the files in the @file{support} directory
 within the @command{gawk} distribution. See there.
 
 @item
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 20557378..9a6e4521 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -40945,7 +40945,7 @@ A number of the files that come with @command{gawk} are maintained by other
 people.  Thus, you should not change them
 unless it is for a very good reason; i.e., changes are not out of the
 question, but changes to these files are scrutinized extra carefully.
-These are all the files the @file{support} directory
+These are all the files in the @file{support} directory
 within the @command{gawk} distribution. See there.
 
 @item