[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4723-gfee5df67

[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  fee5df67602b4194d1fdddbfd6b9446b292f136f (commit)
       via  c4e2e18f598379ad7d8f93208042ddbdaaf4335e (commit)
       via  3c9242805940a4d8a9178c6674171c8ec2671f7b (commit)
       via  f4877a3fbb65abcfa665b5751739d84cf57eb779 (commit)
      from  399cb8580cd4b86883fc8e1910c6ced49b942e17 (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=fee5df67602b4194d1fdddbfd6b9446b292f136f

commit fee5df67602b4194d1fdddbfd6b9446b292f136f
Merge: 399cb858 c4e2e18f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed May 11 23:17:02 2022 +0300

    Merge branch 'master' into feature/docit


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

Summary of changes:
 ChangeLog       |    4 +
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1114 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   11 +-
 doc/gawktexi.in |   11 +-
 doc/wordlist    |    2 +
 profile.c       |    2 +-
 7 files changed, 582 insertions(+), 568 deletions(-)


hooks/post-receive
-- 
gawk