[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4392-gcf91322

[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  cf9132208075631697b1043273edddb76273c3f0 (commit)
       via  2088e95f3a6b41443b9951c2a4d7dfbe3df0ce27 (commit)
      from  5800b72683b87a43f5dd315bcef6613418a537bb (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   |    5 +
 doc/gawk.info   | 1232 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   24 +-
 doc/gawktexi.in |   20 +-
 4 files changed, 663 insertions(+), 618 deletions(-)


hooks/post-receive
-- 
gawk