diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-09-27 22:28:39 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-09-27 22:28:39 +0300 |
| commit | e71e74ac9af232d58e6c672e37ddf7e8737d68b1 (patch) | |
| tree | b858d04ddc7a3c364b3485d03fdfef130b3c4497 /awklib/eg/prog/extract.awk | |
| parent | 2a4725673f46d42cddff89b7002b193c67222c85 (diff) | |
| parent | 66479f2ca1fbbf3b96cd2e1b15c0119b209df54a (diff) | |
| download | egawk-e71e74ac9af232d58e6c672e37ddf7e8737d68b1.tar.gz egawk-e71e74ac9af232d58e6c672e37ddf7e8737d68b1.tar.bz2 egawk-e71e74ac9af232d58e6c672e37ddf7e8737d68b1.zip | |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'awklib/eg/prog/extract.awk')
| -rw-r--r-- | awklib/eg/prog/extract.awk | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/awklib/eg/prog/extract.awk b/awklib/eg/prog/extract.awk index 12e30b54..24f40ce5 100644 --- a/awklib/eg/prog/extract.awk +++ b/awklib/eg/prog/extract.awk @@ -1,5 +1,4 @@ -# extract.awk --- extract files and run programs -# from texinfo files +# extract.awk --- extract files and run programs from texinfo files # # Arnold Robbins, arnold@skeeve.com, Public Domain # May 1993 @@ -7,8 +6,7 @@ BEGIN { IGNORECASE = 1 } -/^@c(omment)?[ \t]+system/ \ -{ +/^@c(omment)?[ \t]+system/ { if (NF < 3) { e = ("extract: " FILENAME ":" FNR) e = (e ": badly formed `system' line") @@ -24,8 +22,7 @@ BEGIN { IGNORECASE = 1 } print e > "/dev/stderr" } } -/^@c(omment)?[ \t]+file/ \ -{ +/^@c(omment)?[ \t]+file/ { if (NF != 3) { e = ("extract: " FILENAME ":" FNR ": badly formed `file' line") print e > "/dev/stderr" @@ -66,7 +63,7 @@ BEGIN { IGNORECASE = 1 } function unexpected_eof() { printf("extract: %s:%d: unexpected EOF or error\n", - FILENAME, FNR) > "/dev/stderr" + FILENAME, FNR) > "/dev/stderr" exit 1 } |