On Sat, Oct 01, 2022 at 04:06:18PM +0000, Werner LEMBERG wrote: > > > I added some extra space in commit 2d1867cd03. It's probably not > > perfect either but hopefully it will be good enough. > > Thanks, but it seems that you haven't called 'git push'...
My apologies, git push failed because the remote repository had new changes. It is now commit a865105490206. > >> Under some circumstances it seems that `texinfo.tex` allows one > >> more text line, causing even more compression of the vertical > >> space. I wasn't able to reproduce this easily; the attached image > >> shows LilyPond's real-world example. > > > > I don't really understand what you mean by "one more text line" > > here. > > The PDF file in the last e-mail has five lines in the last paragraph; > the image shows six lines. I can't explain this particularly but it should be no surprise that TeX formats paragraphs differently depending on the context.
