diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2015-12-27 21:59:23 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2015-12-27 21:59:23 +0200 |
| commit | 639cdfb2b05acb1b2c3b5efea0b175da23306bc4 (patch) | |
| tree | c640a1fd734050942568a4f5a93fef3f4f373647 /doc/gawktexi.in | |
| parent | f64ff5401e1560fc16146fe5b5d0f0991ee11d49 (diff) | |
| parent | 0122571e049073622d9f0bb6eaeed5f52abd38bc (diff) | |
| download | egawk-639cdfb2b05acb1b2c3b5efea0b175da23306bc4.tar.gz egawk-639cdfb2b05acb1b2c3b5efea0b175da23306bc4.tar.bz2 egawk-639cdfb2b05acb1b2c3b5efea0b175da23306bc4.zip | |
Merge branch 'master' into feature/cmake
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 |