[SCM] gawk branch, porting, updated. gawk-4.1.0-5582-g1169c33c

[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, porting has been updated
       via  1169c33cad201f71f1fbf46aec9a31218f33330c (commit)
       via  5d02226c7ac771971ed112e6d0e5078ada1e91d8 (commit)
       via  7c04a1e20121a060154acf96f85f236c6cb3c53f (commit)
       via  31de198aeda85a83f3a2b8eca61403294cfb153e (commit)
      from  62ab18da9bf5ede8b369ed45a98816e7ef83aaf0 (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=1169c33cad201f71f1fbf46aec9a31218f33330c

commit 1169c33cad201f71f1fbf46aec9a31218f33330c
Merge: 62ab18da 5d02226c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Dec 23 09:45:39 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |   6 ++
 doc/it/gawktexi.in | 106 +++++++++++++++++-------
 doc/it/gendocs.sh  |  86 ++++++++------------
 doc/it/texinfo.tex | 233 ++++++++++++++++++++++++++---------------------------
 4 files changed, 234 insertions(+), 197 deletions(-)


hooks/post-receive
-- 
gawk