diff options
Diffstat (limited to 'contrib/awk/awklib/eg/prog/extract.awk')
-rw-r--r-- | contrib/awk/awklib/eg/prog/extract.awk | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/contrib/awk/awklib/eg/prog/extract.awk b/contrib/awk/awklib/eg/prog/extract.awk deleted file mode 100644 index 5cb191ae1cd9..000000000000 --- a/contrib/awk/awklib/eg/prog/extract.awk +++ /dev/null @@ -1,75 +0,0 @@ -# extract.awk --- extract files and run programs -# from texinfo files -# -# Arnold Robbins, arnold@gnu.org, Public Domain -# May 1993 -# Revised September 2000 - -BEGIN { IGNORECASE = 1 } - -/^@c(omment)?[ \t]+system/ \ -{ - if (NF < 3) { - e = (FILENAME ":" FNR) - e = (e ": badly formed `system' line") - print e > "/dev/stderr" - next - } - $1 = "" - $2 = "" - stat = system($0) - if (stat != 0) { - e = (FILENAME ":" FNR) - e = (e ": warning: system returned " stat) - print e > "/dev/stderr" - } -} -/^@c(omment)?[ \t]+file/ \ -{ - if (NF != 3) { - e = (FILENAME ":" FNR ": badly formed `file' line") - print e > "/dev/stderr" - next - } - if ($3 != curfile) { - if (curfile != "") - close(curfile) - curfile = $3 - } - - for (;;) { - if ((getline line) <= 0) - unexpected_eof() - if (line ~ /^@c(omment)?[ \t]+endfile/) - break - else if (line ~ /^@(end[ \t]+)?group/) - continue - else if (line ~ /^@c(omment+)?[ \t]+/) - continue - if (index(line, "@") == 0) { - print line > curfile - continue - } - n = split(line, a, "@") - # if a[1] == "", means leading @, - # don't add one back in. - for (i = 2; i <= n; i++) { - if (a[i] == "") { # was an @@ - a[i] = "@" - if (a[i+1] == "") - i++ - } - } - print join(a, 1, n, SUBSEP) > curfile - } -} -function unexpected_eof() { - printf("%s:%d: unexpected EOF or error\n", - FILENAME, FNR) > "/dev/stderr" - exit 1 -} - -END { - if (curfile) - close(curfile) -} |