[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5210-gbafdbc1b

[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  bafdbc1bb6da942a5099d884466e9bfc4c2af7bc (commit)
       via  c73b1c59e9b5da4874d95ca3484aa87891376ca3 (commit)
      from  4980a6f43dbb6816d999e174e982ea6dd1b2d579 (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   |   2 +
 doc/gawk.info   | 695 ++++++++++++++++++++++++++++++--------------------------
 doc/gawk.texi   |  55 ++++-
 doc/gawktexi.in |  55 ++++-
 4 files changed, 477 insertions(+), 330 deletions(-)


hooks/post-receive
-- 
gawk