diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2015-12-27 21:58:19 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2015-12-27 21:58:19 +0200 |
| commit | 3828539937082db7ceb14252ceec531419122d21 (patch) | |
| tree | d28bd7d72773602aa1eef3048d93e08ed95084da /doc/gawktexi.in | |
| parent | f1612fd046124ff68fcdd70b558484c87c907bce (diff) | |
| parent | 0bf047964956e90481de3941768937c4318db948 (diff) | |
| download | egawk-3828539937082db7ceb14252ceec531419122d21.tar.gz egawk-3828539937082db7ceb14252ceec531419122d21.tar.bz2 egawk-3828539937082db7ceb14252ceec531419122d21.zip | |
Merge branch 'gawk-4.1-stable'
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 7764ec0f..e067a6db 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -24968,7 +24968,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: @@ -24976,7 +24976,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 |