l...@gnu.org (Ludovic Courtès) writes:

> I assume you’re using Texinfo 4?  Texinfo 5 is fine with the extra
> space.

Indeed; the one on Debian stable.

Taylan

Reply via email to