Re: heading spacing.

[Stepan Kasal]

Hello,

On Tue, Sep 16, 2003 at 11:02:38AM +0200, Han-Wen Nienhuys wrote:
> all headings are followed by a line of vertical space. This is a waste
> of page-estate, and the visual impression is that the heading does not
> belong to the body text.

I don't want to judge this---I suppose Karl will post his opinion.
But I can write instructions for changing the behaviour, so that you can
modify your own copy:

Near the end of the macro starting by

        \def\sectionheading#1#2#3{%

you'll find five lines

  \ifdim\parskip>\normalbaselineskip
    \kern\parskip
  \else
    \kern\normalbaselineskip
  \fi

replace them with simple

    \kern 3pt

or whatever you want.

In other words, apply the patch below.

HTH,
        Stepan

--- texinfo.tex Tue Sep 16 11:28:45 2003
+++ texinfo.tex.comp    Tue Sep 16 11:29:28 2003
@@ -4029,11 +4029,7 @@
   % paragraph space, whichever is more.  (Some people like to set
   % \parskip to large values for some reason.)  Don't allow stretch, though.
   \nobreak
-  \ifdim\parskip>\normalbaselineskip
-    \kern\parskip
-  \else
-    \kern\normalbaselineskip
-  \fi
+  \kern 3pt
   \nobreak
 }