diff options
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 6dfe92b0..4ac3133f 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 |