[SCM] gawk branch, master, updated. gawk-4.1.0-3963-gae870c0

[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, master has been updated
       via  ae870c0e8d05e3e88b555edfe12dcb486e067a33 (commit)
       via  461ed6d987ad5ab4e4fce811abd639f1d055a311 (commit)
       via  7de3b57a8a7e36acd718ab1313c25276607e9b41 (commit)
       via  d28ba370c4a1c87982fba20bfa1524193415c837 (commit)
       via  47655d75e1d63227fd077c08246ae3152e778328 (commit)
      from  40a6d096aa10340df1542a5dc23438c6cb7590fb (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            |  12 ++++
 doc/gawkinet.info        | 152 +++++++++++++++++++++++++++--------------------
 doc/gawkinet.texi        |  14 +++--
 doc/it/ChangeLog         |   5 ++
 doc/it/gawk.1            |  86 +++++++++++++--------------
 doc/it/gawktexi.in       |  35 +++++------
 doc/statist.txt          |  23 +++++++
 pc/ChangeLog             |  14 +++++
 pc/Makefile              |   2 +-
 pc/Makefile.ext          |   2 +-
 pc/Makefile.tst.prologue |   2 +-
 pc/config.sed            |   2 +-
 pc/dlfcn.h               |  20 +++++++
 pc/gawkmisc.pc           |   2 +-
 pc/getid.c               |  21 +++++++
 pc/popen.c               |  21 +++++++
 pc/popen.h               |  21 +++++++
 pc/socket.h              |  20 +++++++
 support/ChangeLog        |   5 ++
 support/dfa.c            |  65 +++++++++++++++-----
 20 files changed, 377 insertions(+), 147 deletions(-)
 create mode 100644 doc/statist.txt


hooks/post-receive
-- 
gawk