diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2015-06-19 12:20:40 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2015-06-19 12:20:40 +0300 |
| commit | ab40bfaf0bab83d15fee1082e6fa4bdd775f7021 (patch) | |
| tree | 0536e9e3017bf8abe9690d4456af194bf4fbe594 | |
| parent | 511c52f994faa82ce7595759c17b6ea7bc530288 (diff) | |
| download | egawk-ab40bfaf0bab83d15fee1082e6fa4bdd775f7021.tar.gz egawk-ab40bfaf0bab83d15fee1082e6fa4bdd775f7021.tar.bz2 egawk-ab40bfaf0bab83d15fee1082e6fa4bdd775f7021.zip | |
Update extract.awk.
| -rw-r--r-- | awklib/ChangeLog | 5 | ||||
| -rw-r--r-- | awklib/extract.awk | 21 |
2 files changed, 14 insertions, 12 deletions
diff --git a/awklib/ChangeLog b/awklib/ChangeLog index f0e82f5b..791c25f6 100644 --- a/awklib/ChangeLog +++ b/awklib/ChangeLog @@ -1,3 +1,8 @@ +2015-06-19 Arnold D. Robbins <arnold@skeeve.com> + + * extract.awk: Sync with current version in the doc. Thanks to + Antonio Columbo for pointing this out. + 2015-05-19 Arnold D. Robbins <arnold@skeeve.com> * 4.1.3: Release tar ball made. diff --git a/awklib/extract.awk b/awklib/extract.awk index 1b052e73..2662574b 100644 --- a/awklib/extract.awk +++ b/awklib/extract.awk @@ -1,16 +1,14 @@ -# extract.awk --- extract files and run programs -# from texinfo files +# extract.awk --- extract files and run programs from Texinfo files # -# Arnold Robbins, arnold@gnu.org, Public Domain +# Arnold Robbins, arnold@skeeve.com, Public Domain # May 1993 # Revised September 2000 BEGIN { IGNORECASE = 1 } -/^@c(omment)?[ \t]+system/ \ -{ +/^@c(omment)?[ \t]+system/ { if (NF < 3) { - e = (FILENAME ":" FNR) + e = ("extract: " FILENAME ":" FNR) e = (e ": badly formed `system' line") print e > "/dev/stderr" next @@ -19,15 +17,14 @@ BEGIN { IGNORECASE = 1 } $2 = "" stat = system($0) if (stat != 0) { - e = (FILENAME ":" FNR) + e = ("extract: " FILENAME ":" FNR) e = (e ": warning: system returned " stat) print e > "/dev/stderr" } } -/^@c(omment)?[ \t]+file/ \ -{ +/^@c(omment)?[ \t]+file/ { if (NF != 3) { - e = (FILENAME ":" FNR ": badly formed `file' line") + e = ("extract: " FILENAME ":" FNR ": badly formed `file' line") print e > "/dev/stderr" next } @@ -65,8 +62,8 @@ BEGIN { IGNORECASE = 1 } } function unexpected_eof() { - printf("%s:%d: unexpected EOF or error\n", - FILENAME, FNR) > "/dev/stderr" + printf("extract: %s:%d: unexpected EOF or error\n", + FILENAME, FNR) > "/dev/stderr" exit 1 } |