[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4878-g820574d3

[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, feature/docit has been updated
       via  820574d321612bb63842c1730555ea79de229485 (commit)
       via  1d717fa2f10c2cba98c67b95390a992354f6617d (commit)
       via  e873b8a58e91267ece646a621bd73c59fa0a3814 (commit)
       via  4a226d78f2e9c70c6b796ed82c2f0dac34f69379 (commit)
      from  83d20df2b6b0fc17dc1e868c0ba38920fdeb3071 (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=820574d321612bb63842c1730555ea79de229485

commit 820574d321612bb63842c1730555ea79de229485
Merge: 83d20df2 1d717fa2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 17 17:29:15 2022 +0300

    Merge branch 'master' into feature/docit


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

Summary of changes:
 doc/ChangeLog    |  14 +++
 doc/gawk.info    | 174 ++++++++++++++++--------------
 doc/gawk.texi    |  27 +++--
 doc/gawktexi.in  |  27 +++--
 doc/pm-gawk.info | 136 ++++++++++++------------
 doc/pm-gawk.texi | 314 +++++++++++++++++++------------------------------------
 doc/wordlist     |   3 +
 7 files changed, 330 insertions(+), 365 deletions(-)


hooks/post-receive
-- 
gawk