summaryrefslogtreecommitdiff
path: root/gnu/dist/gawk/awklib/extract.awk
diff options
context:
space:
mode:
authorwiz <wiz@NetBSD.org>2003-10-06 15:43:45 +0000
committerwiz <wiz@NetBSD.org>2003-10-06 15:43:45 +0000
commitb83f0ec8299370bbca9177e5b2e7778fdb67be12 (patch)
treee9652f2574948bef1fb5f541c360039fe1ef2216 /gnu/dist/gawk/awklib/extract.awk
parentdf011fda1deaf1967934e10c9a26bf9fb9c67410 (diff)
Initial import of gawk-3.1.3.
Seven releases since the last import, so the ChangeLog is quite big; please refer to the NEWS file included in the import for details. Among others, this also addresses PR 23054.
Diffstat (limited to 'gnu/dist/gawk/awklib/extract.awk')
-rw-r--r--gnu/dist/gawk/awklib/extract.awk11
1 files changed, 8 insertions, 3 deletions
diff --git a/gnu/dist/gawk/awklib/extract.awk b/gnu/dist/gawk/awklib/extract.awk
index 4f4648c484a..1b052e738b6 100644
--- a/gnu/dist/gawk/awklib/extract.awk
+++ b/gnu/dist/gawk/awklib/extract.awk
@@ -1,7 +1,9 @@
# extract.awk --- extract files and run programs
# from texinfo files
-# Arnold Robbins, arnold@gnu.ai.mit.edu, Public Domain
+#
+# Arnold Robbins, arnold@gnu.org, Public Domain
# May 1993
+# Revised September 2000
BEGIN { IGNORECASE = 1 }
@@ -42,6 +44,8 @@ BEGIN { IGNORECASE = 1 }
break
else if (line ~ /^@(end[ \t]+)?group/)
continue
+ else if (line ~ /^@c(omment+)?[ \t]+/)
+ continue
if (index(line, "@") == 0) {
print line > curfile
continue
@@ -61,7 +65,7 @@ BEGIN { IGNORECASE = 1 }
}
function unexpected_eof()
{
- printf("%s:%d: unexpected EOF or error\n", \
+ printf("%s:%d: unexpected EOF or error\n",
FILENAME, FNR) > "/dev/stderr"
exit 1
}
@@ -71,7 +75,8 @@ END {
close(curfile)
}
# join.awk --- join an array into a string
-# Arnold Robbins, arnold@gnu.ai.mit.edu, Public Domain
+#
+# Arnold Robbins, arnold@gnu.org, Public Domain
# May 1993
function join(array, start, end, sep, result, i)