diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 384198a2..b711949b 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -25877,7 +25877,7 @@ that prints a nice message: @@example @@c file examples/messages.awk BEGIN @@@{ print "Don't panic!" @@@} -@@c end file +@@c endfile @@end example It also prints some final advice: @@ -25885,7 +25885,7 @@ It also prints some final advice: @@example @@c file examples/messages.awk END @@@{ print "Always avoid bored archaeologists!" @@@} -@@c end file +@@c endfile @@end example @dots{} @end example |