[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4504-g495723f

[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  495723fa5d2c0512987f7b8f33260f0c63660fd5 (commit)
       via  d249840cccab9490a5fd9580ba5aa6181930bca5 (commit)
      from  e7666665875de7f8c01185655a447bc98fba8a3d (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   | 270 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  91 +++++++++----------
 doc/gawktexi.in |  91 +++++++++----------
 4 files changed, 233 insertions(+), 224 deletions(-)


hooks/post-receive
-- 
gawk