[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-2788-g161ab89

[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, porting has been updated
       via  161ab89bfe117326be4452eaca2bd7b268cf4b08 (commit)
       via  ed0fa913b717fc17d1f2e870fa0cc8737a8d32fd (commit)
       via  6776d0066ac3bd96228fe6fc98395023562e29d7 (commit)
       via  dff88ee5892900fe96fa0601f1489c6207bbbaf6 (commit)
       via  b023c62b459dfe369ac4eb39d7043f4e8c2c9d2e (commit)
      from  7be45aa2f873b6647a40cd6f53a9b63969b25662 (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/intdiv.awk   |   23 -
 awklib/eg/prog/anagram.awk |    2 +-
 awklib/eg/prog/pi.awk      |    2 +-
 doc/ChangeLog              |   14 +
 doc/awkcard.in             |    4 +-
 doc/gawk.1                 |  191 +++++---
 doc/gawk.info              | 1148 +++++++++++++++++++++++---------------------
 doc/gawk.texi              |  101 ++--
 doc/gawktexi.in            |  101 ++--
 doc/it/ChangeLog           |    4 +
 doc/it/gawktexi.in         | 1109 ++++++++++++++++++++++++++++++++++--------
 11 files changed, 1776 insertions(+), 923 deletions(-)
 delete mode 100644 awklib/eg/lib/intdiv.awk
 mode change 100644 => 100755 doc/it/gawktexi.in


hooks/post-receive
-- 
gawk