diff options
Diffstat (limited to 'Build/source/texk/web2c/doc/web2c.texi')
| -rw-r--r-- | Build/source/texk/web2c/doc/web2c.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/doc/web2c.texi b/Build/source/texk/web2c/doc/web2c.texi index 33f3e730888..65a73b1e1bc 100644 --- a/Build/source/texk/web2c/doc/web2c.texi +++ b/Build/source/texk/web2c/doc/web2c.texi @@ -12,7 +12,7 @@ The latest version is available from ftp://ftp.tug.org/tex/texinfo.tex.} @end tex @set version 2013 -@set month-year March 2013 +@set month-year April 2013 @c Define new indices for commands in auxiliary files, filenames, and options. @defcodeindex cm |