[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5081-g96ef35cd

[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  96ef35cd988c8967755da4a19daadaffe90d27fb (commit)
       via  196e6d6674c19e5b22efeb9de03bbd7ee2ef4cba (commit)
       via  4693c3cde8056d9179d7d712f32cb121c8902916 (commit)
       via  8ef27c83a23fea93cca0b4efc12521a5bb5b186f (commit)
      from  6b22996fcf5da7293c9d3c8b96556d69c4ab7221 (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=96ef35cd988c8967755da4a19daadaffe90d27fb

commit 96ef35cd988c8967755da4a19daadaffe90d27fb
Merge: 6b22996f 196e6d66
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Dec 1 22:14:03 2022 +0200

    Merge branch 'master' into feature/docit


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

Summary of changes:
 ChangeLog       |   11 +
 TODO            |   12 +-
 awk.h           |    1 +
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1958 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   11 +-
 doc/gawktexi.in |   11 +-
 main.c          |    3 +
 symbol.c        |   36 +-
 9 files changed, 1054 insertions(+), 994 deletions(-)


hooks/post-receive
-- 
gawk