diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 9dbd45c0..d7b65a66 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -17102,6 +17102,7 @@ We can do something similar using @command{gawk}, like this: @c file eg/lib/quicksort.awk # # Adapted from K&R-II, page 110 +@c endfile @end ignore @c file eg/lib/quicksort.awk |