diff options
Diffstat (limited to 'Build/source/texk/web2c/doc/web2c.texi')
-rw-r--r-- | Build/source/texk/web2c/doc/web2c.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/doc/web2c.texi b/Build/source/texk/web2c/doc/web2c.texi index 2acfb857ae3..1136b8e43d8 100644 --- a/Build/source/texk/web2c/doc/web2c.texi +++ b/Build/source/texk/web2c/doc/web2c.texi @@ -11,8 +11,8 @@ The latest version is available from ftp://ftp.tug.org/tex/texinfo.tex.} \fi @end tex -@set version 7.5.6 -@set month-year March 2008 +@set version 7.5.7 +@set month-year July 2008 @c Define new indices for commands in auxiliary files, filenames, and options. @defcodeindex cm |