diff options
-rw-r--r-- | doc/ChangeLog | 4 | ||||
-rw-r--r-- | doc/gawk.info | 54 | ||||
-rw-r--r-- | doc/gawk.texi | 2 | ||||
-rw-r--r-- | doc/gawktexi.in | 2 |
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 |