Re: microtype for texinfo

2022-10-01 Thread Patrice Dumas
On Fri, Sep 30, 2022 at 09:08:19PM +0100, Gavin Smith wrote: > On Fri, Sep 30, 2022 at 08:23:11AM +0900, Norbert Preining wrote: > > - make cm-super a dependency of texinfo (next version, in Debian) > > that way the package will be pulled in in any case > > > > I am fine with doing both. > > I'

Re: `@center @image` removes leading vertical space

2022-10-01 Thread Werner LEMBERG
Thanks for the push, the results are good now! >> 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. Well, yes

Re: `@center @image` removes leading vertical space

2022-10-01 Thread Gavin Smith
On Sat, Oct 01, 2022 at 04:06:18PM +, 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 th

Re: `@center @image` removes leading vertical space

2022-10-01 Thread Werner LEMBERG
> 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'... >> Under some circumstances it seems that `texinfo.tex` allows one >> more text line, causing even more compressi

Re: `@center @image` removes leading vertical space

2022-10-01 Thread Gavin Smith
On Sat, Oct 01, 2022 at 03:02:25PM +, Werner LEMBERG wrote: > > > I have committed the fix similar to the following, although I expect > > it is not perfect: [...] > > Thanks. > > > You may notice that @center @image is still slightly closer than > > @image after this change, but it looks ac

Re: strange space width jumping in header lines

2022-10-01 Thread Gavin Smith
On Tue, Sep 20, 2022 at 09:54:09AM +, Werner LEMBERG wrote: > Much better, thanks. However, if `@raggedright` is involved, there > are still cases where the space after 'Chapter X:' is wider than > usual. Attached is an example. > > > Werner I confirmed this, although it seems barely n

Re: `@center @image` removes leading vertical space

2022-10-01 Thread Gavin Smith
On Fri, Sep 30, 2022 at 02:41:42PM +, Werner LEMBERG wrote: > As can be seen, the `@center` macro swallows the vertical space before > the image, which is a bug, I guess. I have committed the fix similar to the following, although I expect it is not perfect: diff --git a/doc/texinfo.tex b/doc

Re: microtype for texinfo

2022-10-01 Thread Gavin Smith
On Fri, Sep 30, 2022 at 03:34:08PM -0600, Karl Berry wrote: > Norbert suggested that they could make cm-super (or lmodern) a depends > or recommends on texinfo, if you wish. Please advise :). I hope it was clear from my other mail that I don't think this is a good idea. > This could be done regar