[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4856-g9ecd7884

[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  9ecd7884103e292277e2ba3038369334d347879c (commit)
       via  df0fb59074ff0a4aa1f0e68dbcb5f71300b52626 (commit)
       via  6ba5c017f6c94a4082d752d3829aaaf7d07c07c1 (commit)
      from  c2c6d40dca9a4394c4e56d01f93c20483b480338 (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:
 awkgram.c       |  11 --
 configure       |   8 +
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 484 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   8 +-
 m4/pma.m4       |   4 +-
 7 files changed, 265 insertions(+), 262 deletions(-)


hooks/post-receive
-- 
gawk