[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4693-gc9e804f4

[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  c9e804f49f59ce90f3adc356ff44fd6aef344bdd (commit)
       via  c16ed6dbd8ecb24dc7f3eaf11e8bef13ef4c6580 (commit)
       via  dc524b7d8925d3d10539d1595537ee30d449a7e5 (commit)
      from  732c57cdb7e902d15a22cda7f2c1d06297f34472 (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:
 build-aux/ChangeLog    |  5 ++++
 build-aux/ar-lib       |  6 ++++-
 build-aux/compile      |  2 +-
 build-aux/config.guess | 16 ++++++++----
 build-aux/config.rpath |  2 +-
 build-aux/config.sub   | 16 ++++++++----
 build-aux/depcomp      |  3 +--
 build-aux/texinfo.tex  | 70 +++++++++++++++++---------------------------------
 doc/ChangeLog          |  4 +++
 doc/texinfo.tex        | 70 +++++++++++++++++---------------------------------
 support/ChangeLog      |  4 +++
 support/verify.h       |  5 +++-
 12 files changed, 95 insertions(+), 108 deletions(-)


hooks/post-receive
-- 
gawk