2003-09-22 Stepan Kasal
* doc/texinfo.tex (\sectionheading): add \nobreak before the skip after the heading; remove \nobreak's between glues. --- texinfo.tex Mon Sep 22 10:21:52 2003 +++ texinfo.tex.new1 Mon Sep 22 10:31:26 2003 @@ -4116,6 +4116,7 @@ \hangindent=\wd0 % zero if no section number \unhbox0 #1}% }% + \nobreak % Add extra space after the heading -- half of whatever came above it. \skip0 = \csname #2headingskip\endcsname \divide\skip0 by 2 % .5