texinfo update (Fri Feb 15 14:23:01 EST 2008)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.816
retrieving revision 1.817
diff -u -r1.816 -r1.817
--- ChangeLog   15 Feb 2008 17:53:25 -0000      1.816
+++ ChangeLog   15 Feb 2008 19:14:14 -0000      1.817
@@ -1,5 +1,7 @@
 2008-02-15  Karl Berry  <address@hidden>
 
+       * doc/texinfo.tex (\tex): spurious space in redefinition of \top.
+
        * makeinfo/cmds.c (handle_include): set in_fixed_width_font
        for expanding the filename argument, so -- doesn't become -.
        Bug report from Daniel Richard G., 13 Feb 2008 01:50:00.
Index: doc/texinfo.tex
===================================================================
RCS file: /sources/texinfo/texinfo/doc/texinfo.tex,v
retrieving revision 1.259
retrieving revision 1.260
diff -u -r1.259 -r1.260
--- doc/texinfo.tex     5 Feb 2008 00:37:23 -0000       1.259
+++ doc/texinfo.tex     15 Feb 2008 19:14:14 -0000      1.260
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2008-02-04.16}
+\def\texinfoversion{2008-02-15.11}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -5725,7 +5725,7 @@
   \let\/=\ptexslash
   \let\*=\ptexstar
   \let\t=\ptext
-  \expandafter \let\csname top \endcsname=\ptextop  % outer
+  \expandafter \let\csname top\endcsname=\ptextop  % outer
   \let\frenchspacing=\plainfrenchspacing
   %
   \def\endldots{\mathinner{\ldots\ldots\ldots\ldots}}%
P ChangeLog
P doc/texinfo.tex