diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index f3d639e9..edd945db 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -24637,7 +24637,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: @@ -24645,7 +24645,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 |