Re: texi2pdf (Texinfo 4.13.97) problem: missing footer

[Karl Berry]

    Date: Sat, 16 Feb 2013 12:06:17 +0100
    From: Thien-Thi Nguyen <address@hidden>

    ...
    the latter missing the right-side footer on page 3.  

Committed a new texinfo.tex that (I hope) fixes this.  The relevant
factor appeared to be the xref (because it changes the color).  Anyway.
Below is the substantive part of the change.  Let me know if problems.

karl

--- texinfo.tex (revision 5332)
+++ texinfo.tex (working copy)
@@ -5909,7 +5909,7 @@
     %
     % Now the second mark, after the heading break.  No break points
     % between here and the heading.
-    \let\prevsectiondefs=\lastsectiondefs
+    \global\let\prevsectiondefs=\lastsectiondefs
     \domark
     %
     % Only insert the space after the number if we have a section number.