[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4870-ga031cc32

[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  a031cc3201b9add8a1d4c1b07a3597970ec53d88 (commit)
       via  daa6608c9e5ec8385ac2e7a24388950ad7c6e40e (commit)
       via  36c498a173c5c61a0b78a426ecb6c7e834bdb681 (commit)
       via  44bd38538e37f219c23b223cf297f5d03b7407f1 (commit)
      from  0faf2f45ec7fc9b772a3b01e020979dcd16a156b (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=a031cc3201b9add8a1d4c1b07a3597970ec53d88

commit a031cc3201b9add8a1d4c1b07a3597970ec53d88
Merge: 0faf2f45 daa6608c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Aug 15 18:22:17 2022 +0300

    Merge branch 'master' into feature/docit


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

Summary of changes:
 NEWS              |    3 +-
 doc/ChangeLog     |   13 +
 doc/Makefile.am   |   11 +-
 doc/Makefile.in   |   35 +-
 doc/gawk.info     |  517 +++++++++---------
 doc/gawk.texi     |   39 +-
 doc/gawkinet.info |   91 ++--
 doc/gawktexi.in   |   39 +-
 doc/pm-gawk.info  | 1142 ++++++++++++++++++++++++++++++++++++++++
 doc/pm-gawk.texi  | 1501 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 10 files changed, 3062 insertions(+), 329 deletions(-)
 create mode 100644 doc/pm-gawk.info
 create mode 100644 doc/pm-gawk.texi


hooks/post-receive
-- 
gawk