[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-1009-g167b3a7

[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, gawk-4.1-stable has been updated
       via  167b3a79dbf9eaa5370efa11cc3d6535a1fe98ae (commit)
      from  11d4ea518166ffbc0c2fe85d090723e8f299486c (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=167b3a79dbf9eaa5370efa11cc3d6535a1fe98ae

commit 167b3a79dbf9eaa5370efa11cc3d6535a1fe98ae
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jul 28 10:31:01 2017 +0300

    Apply GPL to inplace.awk.

diff --git a/awklib/eg/lib/inplace.awk b/awklib/eg/lib/inplace.awk
index 505be76..6771bc4 100644
--- a/awklib/eg/lib/inplace.awk
+++ b/awklib/eg/lib/inplace.awk
@@ -1,4 +1,26 @@
 # inplace --- load and invoke the inplace extension.
+# 
+# Copyright (C) 2013, 2017 the Free Software Foundation, Inc.
+# 
+# This file is part of GAWK, the GNU implementation of the
+# AWK Programming Language.
+# 
+# GAWK is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+# 
+# GAWK is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, 
USA
+#
+# Andrew J. Schorr, address@hidden
+# January 2013
 
 @load "inplace"
 
diff --git a/doc/ChangeLog b/doc/ChangeLog
index bf99674..b81eebc 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,9 @@
+2017-07-28         Arnold D. Robbins     <address@hidden>
+
+       * gawktexi.in (Extension Sample Inplace): Apply GPL to
+       inplace.awk; should have done that when it was first
+       added. Oops.
+
 2017-06-15         Arnold D. Robbins     <address@hidden>
 
        * gawktexi.in: Expand tab characters.
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 3873160..4be1a46 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -34757,6 +34757,34 @@ properly:
 @c file eg/lib/inplace.awk
 @group
 # inplace --- load and invoke the inplace extension.
address@hidden endfile
address@hidden
address@hidden file eg/lib/inplace.awk
+# 
+# Copyright (C) 2013, 2017 the Free Software Foundation, Inc.
+# 
+# This file is part of GAWK, the GNU implementation of the
+# AWK Programming Language.
+# 
+# GAWK is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+# 
+# GAWK is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, 
USA
+#
+# Andrew J. Schorr, aschorr@@telemetry-investments.com
+# January 2013
address@hidden endfile
address@hidden ignore
address@hidden file eg/lib/inplace.awk
 
 @@load "inplace"
 
@@ -34771,11 +34799,15 @@ properly:
 
 # N.B. We call inplace_end() in the BEGINFILE and END rules so that any
 # actions in an ENDFILE rule will be redirected as expected.
address@hidden group
 
address@hidden
 BEGIN @{
     inplace = 1         # enabled by default
 @}
address@hidden group
 
address@hidden
 BEGINFILE @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)
@@ -34784,7 +34816,9 @@ BEGINFILE @{
     else
         _inplace_filename = ""
 @}
address@hidden group
 
address@hidden
 END @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 868db43..57cb727 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -33848,6 +33848,34 @@ properly:
 @c file eg/lib/inplace.awk
 @group
 # inplace --- load and invoke the inplace extension.
address@hidden endfile
address@hidden
address@hidden file eg/lib/inplace.awk
+# 
+# Copyright (C) 2013, 2017 the Free Software Foundation, Inc.
+# 
+# This file is part of GAWK, the GNU implementation of the
+# AWK Programming Language.
+# 
+# GAWK is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+# 
+# GAWK is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, 
USA
+#
+# Andrew J. Schorr, aschorr@@telemetry-investments.com
+# January 2013
address@hidden endfile
address@hidden ignore
address@hidden file eg/lib/inplace.awk
 
 @@load "inplace"
 
@@ -33862,11 +33890,15 @@ properly:
 
 # N.B. We call inplace_end() in the BEGINFILE and END rules so that any
 # actions in an ENDFILE rule will be redirected as expected.
address@hidden group
 
address@hidden
 BEGIN @{
     inplace = 1         # enabled by default
 @}
address@hidden group
 
address@hidden
 BEGINFILE @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)
@@ -33875,7 +33907,9 @@ BEGINFILE @{
     else
         _inplace_filename = ""
 @}
address@hidden group
 
address@hidden
 END @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)

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

Summary of changes:
 awklib/eg/lib/inplace.awk | 22 ++++++++++++++++++++++
 doc/ChangeLog             |  6 ++++++
 doc/gawk.texi             | 34 ++++++++++++++++++++++++++++++++++
 doc/gawktexi.in           | 34 ++++++++++++++++++++++++++++++++++
 4 files changed, 96 insertions(+)


hooks/post-receive
-- 
gawk