[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4774-gde3cfcc7

[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  de3cfcc71598999c3c06b292cbb9ecf05b1c2111 (commit)
       via  c3c6419cea6debcceb62ca5e7f5d538d1a000629 (commit)
      from  bc96da0a9399fd5397cfca8bdace2ca5dfbbd981 (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       |   9 +
 doc/awkcard.in      |   4 +-
 doc/gawk.1          |   4 +-
 doc/gawk.info       | 748 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |  55 ++--
 doc/gawktexi.in     |  55 ++--
 extension/ChangeLog |   5 +
 extension/time.3am  |  11 +-
 extension/time.c    |  16 +-
 test/ChangeLog      |   4 +
 test/time.ok        |   1 +
 11 files changed, 477 insertions(+), 435 deletions(-)


hooks/post-receive
-- 
gawk