[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4949-gec4adac4

[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  ec4adac48e3ba954c8ce0cbb2076ca800375c239 (commit)
       via  388e0f586dbc0573a2a7cf8a3f9c77d7b63b9c97 (commit)
       via  5f33de7c199d77551f77e4e14f2a94d8a1e03134 (commit)
       via  81439c4ce738ae1af8756a0e6882117d20627896 (commit)
       via  03c960cdae4be283a525ab731d9d60b372960f78 (commit)
      from  3e16fcf67b7d4e11468b2acbb655a3972327e80d (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:
 ChangeLog       |   15 +-
 NEWS            |   15 +
 doc/ChangeLog   |    8 +
 doc/gawk.info   | 1191 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   12 +-
 doc/gawktexi.in |   12 +-
 symbol.c        |   16 +-
 7 files changed, 662 insertions(+), 607 deletions(-)


hooks/post-receive
-- 
gawk