From 167b3a79dbf9eaa5370efa11cc3d6535a1fe98ae Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Fri, 28 Jul 2017 10:31:01 +0300 Subject: Apply GPL to inplace.awk. --- awklib/eg/lib/inplace.awk | 22 ++++++++++++++++++++++ doc/ChangeLog | 6 ++++++ doc/gawk.texi | 34 ++++++++++++++++++++++++++++++++++ doc/gawktexi.in | 34 ++++++++++++++++++++++++++++++++++ 4 files changed, 96 insertions(+) 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 + + * 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 * 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) -- cgit v1.2.1