Apply GPL to inplace.awk.

1 files changed, 34 insertions, 0 deletions

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)