[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5113-gd2e08710

[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  d2e087100b5319512ff1d3fc233f23e875b4294a (commit)
       via  8be69b967c91de5b5529a0e4a4b5ed862fbe7c7e (commit)
       via  6e195e45a972b9c88ab8c5627d09049268b29df0 (commit)
       via  7672ce8c8f4819e4a24e26660f1cfe08655735b3 (commit)
      from  d2cdf77906fcefb9a7124fdc970521be7893d6a3 (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=d2e087100b5319512ff1d3fc233f23e875b4294a

commit d2e087100b5319512ff1d3fc233f23e875b4294a
Merge: d2cdf779 8be69b96
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jan 22 22:03:13 2023 +0200

    Merge branch 'master' into feature/docit


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

Summary of changes:
 ChangeLog              |   8 +
 NEWS                   |   5 +-
 doc/ChangeLog          |   8 +
 doc/gawk.info          | 549 +++++++++++++++++++++++++------------------------
 doc/gawk.texi          |  63 ++++--
 doc/gawktexi.in        |  63 ++++--
 extension/ChangeLog    |  10 +
 extension/configh.in   |   3 +
 extension/configure    |   6 +
 extension/configure.ac |   4 +-
 extension/time.3am     |  66 ++++--
 extension/time.c       |  71 +++++--
 main.c                 |  39 +++-
 test/ChangeLog         |   6 +
 test/makepmafile.c     |   4 +-
 test/time.awk          |  30 +--
 test/time.ok           |   2 +-
 17 files changed, 587 insertions(+), 350 deletions(-)


hooks/post-receive
-- 
gawk