[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4523-g3c374e5

[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  3c374e502995634d4dae8967aa8393a74b748f83 (commit)
       via  6db264b1f346896f18fa705023594e5d4d789f04 (commit)
       via  589d91eeb99bf2c7dcd6a4310f5964739b9c8edb (commit)
      from  b09f86a66cc6cae015a1343c189c84031007de1c (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/prog/id.awk                        |   6 +-
 doc/ChangeLog                                |   7 +
 doc/gawk.info                                | 812 +++++++++++++--------------
 doc/gawk.texi                                |  14 +-
 doc/gawktexi.in                              |  14 +-
 doc/wordlist                                 |  13 +
 doc/wordlist3                                |   1 +
 helpers/ChangeLog                            |   4 +
 awklib/eg/lib/ord.awk => helpers/find-utf.sh |  11 +-
 9 files changed, 458 insertions(+), 424 deletions(-)
 copy awklib/eg/lib/ord.awk => helpers/find-utf.sh (83%)
 mode change 100644 => 100755


hooks/post-receive
-- 
gawk