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 7b91d85e..f6114b4e 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -25546,7 +25546,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: @@ -25554,7 +25554,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 |