diff options
| -rw-r--r-- | awklib/eg/lib/inplace.awk | 22 | ||||
| -rw-r--r-- | doc/ChangeLog | 6 | ||||
| -rw-r--r-- | doc/gawk.texi | 34 | ||||
| -rw-r--r-- | doc/gawktexi.in | 34 |
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 43bba530..45003b36 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-07-21 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Fix a spelliing error. diff --git a/doc/gawk.texi b/doc/gawk.texi index 585fbf41..868302a6 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -36151,6 +36151,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" @@ -36165,11 +36193,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) @@ -36178,7 +36210,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 d19081ad..f212abe6 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -35165,6 +35165,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" @@ -35179,11 +35207,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) @@ -35192,7 +35224,9 @@ BEGINFILE @{ else _inplace_filename = "" @} +@end group +@group END @{ if (_inplace_filename != "") inplace_end(_inplace_filename, INPLACE_SUFFIX) |