1
#! /bin/sh /usr/share/dpatch/dpatch-run
2
# 60_pagenumber_fix by Karl Berry
4
## All lines beginning with `## DP:' are a description of the patch.
5
## DP: fix off by one error in TOC
8
--- ./doc/texinfo.tex 2006-01-06 22:08:20.000000000 +0100
9
+++ ./doc/texinfo.tex 2006-01-28 22:01:31.000000000 +0100
10
@@ -4423,6 +4423,13 @@
11
% Write the node reference (= pdf destination for pdftex).
12
% Again, see comments in \chfplain.
14
+ % Interline glue will be inserted when the vbox is completed.
15
+ % That glue will be a valid breakpoint for the page, since it'll be
16
+ % preceded by a whatsit (usually from the \donoderef, or from the
17
+ % \writetocentry if there was no node). We don't want to allow that
18
+ % break, since then the whatsits could end up on page n while the
19
+ % section is on page n+1, thus toc/etc. are wrong. Debian bug 276000.
22
% Output the actual section heading.
23
\vbox{\hyphenpenalty=10000 \tolerance=5000 \parindent=0pt \raggedright