[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5030-gf44a9f88

[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  f44a9f88c6caf2f5d1e124b3fa38ccf0c48e0b25 (commit)
       via  4b64c1206d51418e16654b92f556b0d002356a63 (commit)
       via  38d358ff592cbd241a058fbe770327b879868cb0 (commit)
      from  f971bf9862b8f8c7b8e28613a943bc35c1dfa4d5 (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=f44a9f88c6caf2f5d1e124b3fa38ccf0c48e0b25

commit f44a9f88c6caf2f5d1e124b3fa38ccf0c48e0b25
Merge: f971bf98 4b64c120
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Nov 12 22:12:08 2022 +0200

    Merge branch 'master' into feature/docit


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

Summary of changes:
 doc/ChangeLog   |    9 +
 doc/awkcard.in  |    2 +-
 doc/gawk.info   | 1069 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   20 +-
 doc/gawktexi.in |   20 +-
 doc/wordlist    |    5 +
 6 files changed, 596 insertions(+), 529 deletions(-)


hooks/post-receive
-- 
gawk