diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2015-12-27 21:44:52 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2015-12-27 21:44:52 +0200 |
| commit | 33c4c9e344ae2d82b3ec5bc35c48236be26724b1 (patch) | |
| tree | 4de0d7d0905fd9454768afb7b9ab405bd8cbcebe /doc/gawk.texi | |
| parent | 95fe2c6e4ff7a38a5dab50af41533afb991cb579 (diff) | |
| download | egawk-33c4c9e344ae2d82b3ec5bc35c48236be26724b1.tar.gz egawk-33c4c9e344ae2d82b3ec5bc35c48236be26724b1.tar.bz2 egawk-33c4c9e344ae2d82b3ec5bc35c48236be26724b1.zip | |
Minor fix in gawktexi.in.
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 |