[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4223-g32a9f7f

[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  32a9f7f24000827da433b89de7c24c5d95a561c6 (commit)
       via  5b3ac78d72621697e717765d2d634d7fc271f3c9 (commit)
      from  117fe375fd1ab8aa02c7000f148142659ee14308 (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 -----------------------------------------------------------------
-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1096 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   52 ++-
 doc/gawktexi.in |   22 +-
 4 files changed, 626 insertions(+), 550 deletions(-)


hooks/post-receive
-- 
gawk