[SCM] gawk branch, porting, updated. gawk-4.1.0-5955-g6cbb9140

[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  6cbb91401f9e2afcc6946e5e8bb2784b2c2288a6 (commit)
       via  cd915e2556c62b4957fb8ee38674436425127d2e (commit)
      from  a9a9fe934376cc2bb7dedc918759a7eb29cd8f68 (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=6cbb91401f9e2afcc6946e5e8bb2784b2c2288a6

commit 6cbb91401f9e2afcc6946e5e8bb2784b2c2288a6
Merge: a9a9fe93 cd915e25
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Oct 19 09:41:35 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog             |     6 +
 NEWS                  |     6 +-
 README                |     8 +-
 awklib/ChangeLog      |     4 +
 awklib/Makefile.am    |     4 +-
 awklib/Makefile.in    |     4 +-
 build-aux/ChangeLog   |     4 +
 build-aux/texinfo.tex |   190 +-
 doc/ChangeLog         |     8 +
 doc/Makefile.am       |     8 +-
 doc/Makefile.in       |     8 +-
 doc/gawk.info         |  7144 ++++----
 doc/gawk.texi         |  1174 +-
 doc/gawktexi.in       | 47551 ------------------------------------------------
 doc/sidebar.awk       |    67 -
 doc/texinfo.tex       |   190 +-
 16 files changed, 3809 insertions(+), 52567 deletions(-)
 delete mode 100644 doc/gawktexi.in
 delete mode 100644 doc/sidebar.awk


hooks/post-receive
-- 
gawk