[gawk-diffs] [SCM] gawk branch, nolibtool, updated. gawk-4.1.0-109-gd8488d4

[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, nolibtool has been updated
       via  d8488d45c43f35d11a4638bd21066a9fb56e0657 (commit)
       via  8aa14c5f3cf78f90b589785a9ffe5f7f02050b37 (commit)
       via  a4a5f76e51cd51af470fcaa85f5f1360ecd18b0c (commit)
      from  498ee16660b3647af1137c2b8126a36a3f59fec7 (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 -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=d8488d45c43f35d11a4638bd21066a9fb56e0657

commit d8488d45c43f35d11a4638bd21066a9fb56e0657
Merge: 498ee16 8aa14c5
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Sep 22 16:53:55 2013 +0300

    Merge branch 'master' into nolibtool


-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog   |    5 +
 doc/gawk.info   |  672 +++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  423 +++++++++++++++++------------------
 doc/gawktexi.in |  409 +++++++++++++++++-----------------
 4 files changed, 750 insertions(+), 759 deletions(-)


hooks/post-receive
-- 
gawk