diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 6 | ||||
| -rw-r--r-- | doc/gawk.texi | 34 | ||||
| -rw-r--r-- | doc/gawktexi.in | 34 |
3 files changed, 74 insertions, 0 deletions
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) |