Re: Vertical spacing between @deffn output and preceding text

Dimitris Papavasiliou <[email protected]> Tue, 14 Jul 2026 12:26:43 +0000
Newsgroups gmane.comp.tex.texinfo.bugs
Message-ID <M2Vh1gkC8e59YP36wklMmIC6uBf3sC075_LREYSmEb-Svqe5oFUB6CEiF8bJpUexPdx_AOJc-G33jnlegI9ADAJ33a-aP0_tAoaagCmbaZE=@protonmail.ch>
--b1=_kzPp0kfwkCRO9519DnfcC5lkj9bQxEsjBnDloAUBnE
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Apologies, forgot to attach it in the first place.

On Tuesday, July 14th, 2026 at 1:54 PM, Gavin Smith <[email protected]=
om> wrote:

> On Tue, Jul 14, 2026 at 09:35:56AM +0000, Dimitris Papavasiliou wrote:
> > Hello,
> >
> > When a definition produced with a `@deffn` or similar command is
> > preceded by text, Texinfo doesn't add sufficient vertical spacing to
> > separate the definition from the text in LaTex output.  The
> > typesetting is fine in Tex or HTML output.
> >
> > The attached files - the `latex.pdf` output file in particular -
> > illustrate the issue.  They have been produced with the commands:
> >
> > texi2any --pdf test.texi
> > texi2any --latex test.texi && texi2pdf test.tex
> > texi2any --html test.texi
> >
> > Best regards,
> > Dimitris
>
> Can you please send the file test.texi?
>
>
>
--b1=_kzPp0kfwkCRO9519DnfcC5lkj9bQxEsjBnDloAUBnE
Content-Type: text/x-texinfo; name=test.texi
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename=test.texi

XGlucHV0IHRleGluZm8udGV4CgpAdG9wIFRlc3QKCkBjaGFwdGVyIEEgQ2hhcHRlcgpMb3JlbSBp
cHN1bSBkb2xvciBzaXQgYW1ldCwgY29uc2VjdGV0dXIgYWRpcGlzY2luZyBlbGl0LiBVdCBzZWQg
bWV0dXMgc2VkIGVuaW0gZWZmaWNpdHVyIGNvbnZhbGxpcyBhIHZlbCBleC4gRHVpcyBlZmZpY2l0
dXIgb3JjaSBub24gbWkgbW9sbGlzLCBldSBlZ2VzdGFzIGxhY3VzIGNvbW1vZG8uIFBoYXNlbGx1
cyBwbGFjZXJhdCByaXN1cyBzaXQgYW1ldCBudW5jIGdyYXZpZGEgZmF1Y2lidXMuIFZlc3RpYnVs
dW0gcG9zdWVyZSBkaWN0dW0gcHVydXMsIGV1IHBsYWNlcmF0IHRlbGx1cy4gUGVsbGVudGVzcXVl
IGJsYW5kaXQsIG1hc3NhIHZvbHV0cGF0IHRlbXB1cyBwbGFjZXJhdCwgdXJuYSBleCBydXRydW0g
bWF1cmlzLCBhbGlxdWFtIHN1c2NpcGl0IG1hc3NhIHRvcnRvciBlbGVpZmVuZCBsaWd1bGEuIE51
bGxhbSBldCBjb25kaW1lbnR1bSBuaWJoLCBldSBmYXVjaWJ1cyBtZXR1cy4gUXVpc3F1ZSB1dCBt
YWxlc3VhZGEgZG9sb3IsIHZpdGFlIG1vbGxpcyBlbmltLiBWaXZhbXVzIHJ1dHJ1bSBtZXR1cyBp
ZCBsaWJlcm8gZWxlbWVudHVtIHZvbHV0cGF0LiBOYW0gc29kYWxlcywgbGliZXJvIGV1IGZhY2ls
aXNpcyBsb2JvcnRpcywgbGlndWxhIGxlbyBkYXBpYnVzIG51bmMsIGF0IGVsZWlmZW5kIGFudGUg
YXJjdSB2ZWwgZXguIEFlbmVhbiBzaXQgYW1ldCByaXN1cyBldCB0ZWxsdXMgYmliZW5kdW0gcnV0
cnVtLiBFdGlhbSBlZ2VzdGFzIHNlbSBpbiBzZW0gaW1wZXJkaWV0LCBpbiBmcmluZ2lsbGEgbWF1
cmlzIGVmZmljaXR1ci4gU3VzcGVuZGlzc2UgZXUgdXJuYSBtb2xlc3RpZSwgdWx0cmljZXMgYW50
ZSBldSwgbWF0dGlzIGVzdC4gRG9uZWMgc29kYWxlcyBlc3QgbWFzc2EsIHNpdCBhbWV0IG1hdHRp
cyBzZW0gdGluY2lkdW50IGV1LgoKQHNlY3Rpb24gQSBTZWN0aW9uCkxvcmVtIGlwc3VtIGRvbG9y
IHNpdCBhbWV0LCBjb25zZWN0ZXR1ciBhZGlwaXNjaW5nIGVsaXQuIFV0IHNlZCBtZXR1cyBzZWQg
ZW5pbSBlZmZpY2l0dXIgY29udmFsbGlzIGEgdmVsIGV4LiBEdWlzIGVmZmljaXR1ciBvcmNpIG5v
biBtaSBtb2xsaXMsIGV1IGVnZXN0YXMgbGFjdXMgY29tbW9kby4gUGhhc2VsbHVzIHBsYWNlcmF0
IHJpc3VzIHNpdCBhbWV0IG51bmMgZ3JhdmlkYSBmYXVjaWJ1cy4gVmVzdGlidWx1bSBwb3N1ZXJl
IGRpY3R1bSBwdXJ1cywgZXUgcGxhY2VyYXQgdGVsbHVzLiBQZWxsZW50ZXNxdWUgYmxhbmRpdCwg
bWFzc2Egdm9sdXRwYXQgdGVtcHVzIHBsYWNlcmF0LCB1cm5hIGV4IHJ1dHJ1bSBtYXVyaXMsIGFs
aXF1YW0gc3VzY2lwaXQgbWFzc2EgdG9ydG9yIGVsZWlmZW5kIGxpZ3VsYS4gTnVsbGFtIGV0IGNv
bmRpbWVudHVtIG5pYmgsIGV1IGZhdWNpYnVzIG1ldHVzLiBRdWlzcXVlIHV0IG1hbGVzdWFkYSBk
b2xvciwgdml0YWUgbW9sbGlzIGVuaW0uIFZpdmFtdXMgcnV0cnVtIG1ldHVzIGlkIGxpYmVybyBl
bGVtZW50dW0gdm9sdXRwYXQuIE5hbSBzb2RhbGVzLCBsaWJlcm8gZXUgZmFjaWxpc2lzIGxvYm9y
dGlzLCBsaWd1bGEgbGVvIGRhcGlidXMgbnVuYywgYXQgZWxlaWZlbmQgYW50ZSBhcmN1IHZlbCBl
eC4gQWVuZWFuIHNpdCBhbWV0IHJpc3VzIGV0IHRlbGx1cyBiaWJlbmR1bSBydXRydW0uIEV0aWFt
IGVnZXN0YXMgc2VtIGluIHNlbSBpbXBlcmRpZXQsIGluIGZyaW5naWxsYSBtYXVyaXMgZWZmaWNp
dHVyLiBTdXNwZW5kaXNzZSBldSB1cm5hIG1vbGVzdGllLCB1bHRyaWNlcyBhbnRlIGV1LCBtYXR0
aXMgZXN0LiBEb25lYyBzb2RhbGVzIGVzdCBtYXNzYSwgc2l0IGFtZXQgbWF0dGlzIHNlbSB0aW5j
aWR1bnQgZXUuCgpAZGVmZm4gY29tbWFuZCBsb3JlbSBhcmd1bWVudHMuLi4KTG9yZW0gaXBzdW0g
ZG9sb3Igc2l0IGFtZXQsIGNvbnNlY3RldHVyIGFkaXBpc2NpbmcgZWxpdC4gVXQgc2VkIG1ldHVz
IHNlZCBlbmltIGVmZmljaXR1ciBjb252YWxsaXMgYSB2ZWwgZXguIER1aXMgZWZmaWNpdHVyIG9y
Y2kgbm9uIG1pIG1vbGxpcywgZXUgZWdlc3RhcyBsYWN1cyBjb21tb2RvLgpAZW5kIGRlZmZuCgpA
YnllCg==

--b1=_kzPp0kfwkCRO9519DnfcC5lkj9bQxEsjBnDloAUBnE--