diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-06-06 18:30:22 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-06-06 18:30:22 +0300 |
| commit | e50aae84518b7fc07bb7b7ee0a3ff94b3c9785da (patch) | |
| tree | 722b491e6672ed40b0c7198b31166a8bec3abf6c /doc/gawktexi.in | |
| parent | f414221a8c5904fa2c43256a39ce2e3b1faa2214 (diff) | |
| parent | 8885876b4479b55c45a580addeffe36a18c7d5e4 (diff) | |
| download | egawk-e50aae84518b7fc07bb7b7ee0a3ff94b3c9785da.tar.gz egawk-e50aae84518b7fc07bb7b7ee0a3ff94b3c9785da.tar.bz2 egawk-e50aae84518b7fc07bb7b7ee0a3ff94b3c9785da.zip | |
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 9f36e84c..268ada1a 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -25808,8 +25808,7 @@ END @{ @end example Finally, the function @code{@w{unexpected_eof()}} prints an appropriate -error message and then exits. -The @code{END} rule handles the final cleanup, closing the open file: +error message and then exits: @example @c file eg/prog/extract.awk |