[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4424-gd67e86c

[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  d67e86cb0869244fe4124d23def7be08fa6ab4ce (commit)
       via  41b120c7a932b6bb9eccb24b03475a74ca1303ca (commit)
      from  257b436d7aa1622c24e974ec11956133908acfea (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   |    4 +
 doc/gawk.info   | 1232 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   60 +--
 doc/gawktexi.in |   60 +--
 4 files changed, 615 insertions(+), 741 deletions(-)


hooks/post-receive
-- 
gawk