[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3692-g12a5a58

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, master has been updated
       via  12a5a583e98ba7a6886407df6df74a1dbb65ae64 (commit)
      from  8952c58b0405f01b68a19b46d10a7506b674b9a8 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=12a5a583e98ba7a6886407df6df74a1dbb65ae64

commit 12a5a583e98ba7a6886407df6df74a1dbb65ae64
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Apr 5 10:25:31 2019 +0300

    Small doc fix.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index f45dfce..d3e716e 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,7 @@
+2019-04-05         Andrew J. Schorr     <address@hidden>
+
+       * gawktexi.in: Add a missing word.
+
 2019-03-25         Arnold D. Robbins     <address@hidden>
 
        * gawkinet.texi: Small formatting fixes. Update version and dates.
diff --git a/doc/gawk.info b/doc/gawk.info
index 69a5d0a..19be939 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 eb9560e..15c33a1 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 2055737..9a6e452 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

-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog   |  4 ++++
 doc/gawk.info   | 54 +++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  2 +-
 doc/gawktexi.in |  2 +-
 4 files changed, 33 insertions(+), 29 deletions(-)


hooks/post-receive
-- 
gawk