2003-09-22  Stepan Kasal  <address@hidden>

	* doc/texinfo.tex (\sectionheading): the space below a section
	  heading should have fixed size; \nobreak after a \vskip is
	  redundant.

--- texinfo.tex	Mon Sep 22 10:21:52 2003
+++ texinfo.tex.new2	Mon Sep 22 10:45:51 2003
@@ -4117,16 +4117,12 @@
           \unhbox0 #1}%
   }%
   % Add extra space after the heading -- half of whatever came above it.
-  \skip0 = \csname #2headingskip\endcsname
-  \divide\skip0 by 2  % .5<glue> eliminates stretch and shrink
-  \vskip\skip0
+  % Don't allow stretch, though.
+  \kern .5 \csname #2headingskip\endcsname
   %
   % We'll almost certainly start a paragraph next, so don't let that
-  % glue accumulate.
-  \nobreak\vskip-\parskip
-  %
-  % Attempt to avoid a break at whatever comes next.
-  \nobreak
+  % glue accumulate.  Avoid a break.
+  \nobreak \vskip-\parskip
 }