texinfo update (Sun Jul 16 19:52:01 EDT 2006)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.625
retrieving revision 1.626
diff -u -r1.625 -r1.626
--- ChangeLog   15 Jul 2006 22:55:30 -0000      1.625
+++ ChangeLog   16 Jul 2006 23:50:38 -0000      1.626
@@ -1,3 +1,14 @@
+2006-07-16  Karl Berry  <address@hidden>
+
+       * doc/texinfo.tex (\onepageout): hardwire a 24pt space before
+       \footlinebox, instead of 2\baselineskip.  If the page break occurs
+       at a heading, for instance, \baselineskip might be larger, causing
+       the footer to jump.
+       (\oddfootingyyy): likewise (although doesn't really matter here).
+       Report from Werner Lemberg, 02 Jun 2006 07:44:36 +0200.
+
+       * doc/texinfo.txi: use @copyright{} in @copying, not (C).
+
 2006-07-15  Karl Berry  <address@hidden>
 
        * doc/texinfo.tex (\code): make ' active.
Index: doc/texinfo.tex
===================================================================
RCS file: /sources/texinfo/texinfo/doc/texinfo.tex,v
retrieving revision 1.217
retrieving revision 1.218
diff -u -r1.217 -r1.218
--- doc/texinfo.tex     15 Jul 2006 22:53:09 -0000      1.217
+++ doc/texinfo.tex     16 Jul 2006 23:50:38 -0000      1.218
@@ -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{2006-07-15.15}
+\def\texinfoversion{2006-07-16.16}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free
@@ -327,9 +327,9 @@
       \pagebody{#1}%
       \ifdim\ht\footlinebox > 0pt
         % Only leave this space if the footline is nonempty.
-        % (We lessened \vsize for it in \oddfootingxxx.)
+        % (We lessened \vsize for it in \oddfootingyyy.)
         % The \baselineskip=24pt in plain's \makefootline has no effect.
-        \vskip 2\baselineskip
+        \vskip 24pt
         \unvbox\footlinebox
       \fi
       %
@@ -2472,8 +2472,8 @@
   %
   % Leave some space for the footline.  Hopefully ok to assume
   % @evenfooting will not be used by itself.
-  \global\advance\pageheight by -\baselineskip
-  \global\advance\vsize by -\baselineskip
+  \global\advance\pageheight by -12pt
+  \global\advance\vsize by -12pt
 }
 
 \parseargdef\everyfooting{\oddfootingxxx{#1}\evenfootingxxx{#1}}
P ChangeLog
P doc/texinfo.tex