On Fri, Dec 13, 2024 at 11:49:43PM +0100, Bertrand Petit wrote:
> The reported bug is described in the joined TeXinfo document which
> also serve as a demonstration and test field to reproduce it.
\parskip (the inter-paragraph space) is set in texinfo.tex to "3pt plus
2pt minus 1pt".
It appears that the size of this stretch is irrelevant, as the large
spacing still appears with "3pt plus 0.01pt minus 1pt" (definition changed
in @afourpaper). It's only when I remove the stretch completely that
the output looks sensible. (Despite the large stretching of the
\parskip glue, there don't appear to be any warnings from TeX. I
haven't been able to understand this thoroughly in the time I've spent
on it.)
One way to get normal inter-paragraph spacing (which is what I believe you
call "leading"), with empty space at the bottom of the page, is to force
a page break with @page:
@page
@BeginFloat{Table,all_namespaces}
@multitable @columnfractions .10 .45 .45
@headitem Prefix @tab Description @tab IRI
@item dc
...
The @vskip likely didn't work because it is discarded at the end of the
page.
There is also an undocumented "@raggedbottom" macro which appears to work
if you put it right after @afourpaper. Again, I haven't investigated
thoroughly but it could be worth a try.
It is possible to get the same output as with @page by adding an
empty box after the @vskip:
@macro BeginFloat{Type, Id}
@ifset VFILL
@vskip 0pt plus 1filll
@vbox to 0pt{}
@end ifset
@float \Type\,\Id\
@end macro
The solution with @page is better though as @vskip, @vbox etc. are not
recognized Texinfo commands, and the output could break if material is
added or removed from the document (for example, a large space in the
middle of the page with paragraphs at the top and bottom).
