[5284] (\codedashfinish): insert our own space after \let=

[karl]

Revision: 5284
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=5284
Author:   karl
Date:     2013-08-09 16:27:15 +0000 (Fri, 09 Aug 2013)
Log Message:
-----------
(\codedashfinish): insert our own space after \let=

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/doc/texinfo.tex

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2013-08-07 22:53:18 UTC (rev 5283)
+++ trunk/ChangeLog     2013-08-09 16:27:15 UTC (rev 5284)
@@ -1,3 +1,9 @@
+2013-08-09  Karl Berry  <address@hidden>
+
+       * doc/texinfo.tex (\codedashfinish): include an explicit
+       space after the \let=, for @code{- a}.
+        Report from Vincent Lefevre, 7 Aug 2013 04:07:10.
+
 2013-08-08  Patrice Dumas  <address@hidden>
 
        * tp/Texinfo/Convert/Plaintext.pm: output ^L in ignorable

Modified: trunk/doc/texinfo.tex
===================================================================
--- trunk/doc/texinfo.tex       2013-08-07 22:53:18 UTC (rev 5283)
+++ trunk/doc/texinfo.tex       2013-08-09 16:27:15 UTC (rev 5284)
@@ -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{2013-08-06.10}
+\def\texinfoversion{2013-08-09.09}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -2521,7 +2521,9 @@
       \ifx\codedashprev\codedash 
       \else \discretionary{}{}{}\fi
     \fi
-    \global\let\codedashprev=\next
+    % we need the space after the = for the case when \next itself is a
+    % space token; it would get swallowed otherwise.  As in @code{- a}.
+    \global\let\codedashprev= \next
   }
 }
 \def\normaldash{-}