diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index f8366902..40870076 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -22,14 +22,14 @@ @c These apply across the board. @set UPDATE-MONTH May, 2013 -@set VERSION 4.0 -@set PATCHLEVEL 2 +@set VERSION 4.1 +@set PATCHLEVEL 0 @set FSF @set TITLE GAWK: Effective AWK Programming @set SUBTITLE A User's Guide for GNU Awk -@set EDITION 4 +@set EDITION 4.1 @iftex @set DOCUMENT book |