[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5084-g5bd265e1

[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  5bd265e1921e2cf732f1c191fef2434d4a33970d (commit)
       via  df616f664859ed9e9f71e66641e84f9f12d8d7b3 (commit)
      from  69502733ae7a66878810ae1e24b5ced9a5b9698c (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       |  14 ++
 NEWS            |  17 +-
 awk.h           |   3 +-
 doc/ChangeLog   |   5 +
 doc/gawk.info   | 478 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   2 +-
 doc/gawktexi.in |   2 +-
 main.c          |   6 +-
 symbol.c        |  40 +++--
 9 files changed, 310 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk