[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5089-g31ca6bf4

[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  31ca6bf4391d1ae4b7a8a8bb537b5e5a64049e91 (commit)
       via  eb276931fc950a1bd436b4561e8df48cbc99eec0 (commit)
       via  835a3966707389f4e92c28319795c4c4ee77a0d2 (commit)
       via  73d1fc52c2f641c72c4a4f420683ba2f23eb1997 (commit)
       via  5a62eb04a1c3cafc2a34ea7290a646e6174077e5 (commit)
      from  5bd265e1921e2cf732f1c191fef2434d4a33970d (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       |  12 +
 NEWS            |   3 +
 doc/ChangeLog   |  13 +
 doc/gawk.info   | 899 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  33 ++-
 doc/gawktexi.in |  33 ++-
 main.c          |  10 +-
 7 files changed, 519 insertions(+), 484 deletions(-)


hooks/post-receive
-- 
gawk