[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4404-g08707fd

[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  08707fd27d9a0f46e9a3981d34ccb1be215ecd9b (commit)
       via  b5d29eae198241ca46fc3cf4f2d6b725bb22e6d2 (commit)
       via  98ef29fdcadffc0a05c91883c4ab8809a8b0d441 (commit)
       via  1bf8a67c114568b307c1df6dfe2042e2a3eab49b (commit)
      from  d64907b956aa8b8ef690227a852b603ee32ce862 (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:
 awklib/eg/lib/isnumeric.awk |   19 +
 awklib/eg/prog/split.awk    |    2 +-
 doc/ChangeLog               |    9 +
 doc/gawk.info               | 1251 ++++++++++++++++++++++---------------------
 doc/gawk.texi               |   45 +-
 doc/gawktexi.in             |   45 +-
 6 files changed, 755 insertions(+), 616 deletions(-)
 create mode 100644 awklib/eg/lib/isnumeric.awk


hooks/post-receive
-- 
gawk