[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4399-g0c673e1

[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  0c673e1a2f6b05cc68087dcd67ee4a0ac21f6ca7 (commit)
       via  e7706feed9aac915db7307ad59d3908a8952eaf0 (commit)
      from  6bac7bf55d25ed5c7de284f79269601183ad0ff4 (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   | 1302 +++++++++++++++++++++++++++++--------------------------
 doc/gawk.texi   |  107 +++++
 doc/gawktexi.in |  107 +++++
 4 files changed, 919 insertions(+), 603 deletions(-)


hooks/post-receive
-- 
gawk