Apply GPL to inplace.awk.

4 files changed, 96 insertions, 0 deletions

diff --git a/awklib/eg/lib/inplace.awk b/awklib/eg/lib/inplace.awk
index 505be76d..6771bc45 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, aschorr@telemetry-investments.com
+# January 2013
 
 @load "inplace"
 
diff --git a/doc/ChangeLog b/doc/ChangeLog
index bf996749..b81eebca 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,9 @@
+2017-07-28         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* 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     <arnold@skeeve.com>
 
 	* gawktexi.in: Expand tab characters.
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 38731606..4be1a469 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.
+@c endfile
+@ignore
+@c 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
+@c endfile
+@end ignore
+@c 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.
+@end group
 
+@group
 BEGIN @{
     inplace = 1         # enabled by default
 @}
+@end group
 
+@group
 BEGINFILE @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)
@@ -34784,7 +34816,9 @@ BEGINFILE @{
     else
         _inplace_filename = ""
 @}
+@end group
 
+@group
 END @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 868db437..57cb727a 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.
+@c endfile
+@ignore
+@c 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
+@c endfile
+@end ignore
+@c 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.
+@end group
 
+@group
 BEGIN @{
     inplace = 1         # enabled by default
 @}
+@end group
 
+@group
 BEGINFILE @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)
@@ -33875,7 +33907,9 @@ BEGINFILE @{
     else
         _inplace_filename = ""
 @}
+@end group
 
+@group
 END @{
     if (_inplace_filename != "")
         inplace_end(_inplace_filename, INPLACE_SUFFIX)