[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4383-g4b414c7

[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  4b414c78fb790a591275c978cb3d4af9228d3fb0 (commit)
       via  231a84fb021b17006b1bf6a9d45fb15d6e883960 (commit)
       via  bdcf2bec72b818f6a6e9e0876e61ac9545d1efda (commit)
       via  9a15a6a255b5c4c1086c5b6b6e97745b43240feb (commit)
      from  19a317cff69068e2bf4a7c584907c565f341df4e (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   |   8 ++++
 doc/gawk.1      |   4 +-
 doc/gawk.info   | 142 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   6 +--
 doc/gawktexi.in |  10 ++--
 5 files changed, 89 insertions(+), 81 deletions(-)


hooks/post-receive
-- 
gawk