On Sun, Apr 25, 2021 at 02:55:38PM +0000, Werner LEMBERG wrote: > Please modify either `texinfo.tex` or the info source code to make the > behaviour identical (whatever it is, I actually don't care).
I agree that this should be done.
On Sun, Apr 25, 2021 at 02:55:38PM +0000, Werner LEMBERG wrote: > Please modify either `texinfo.tex` or the info source code to make the > behaviour identical (whatever it is, I actually don't care).
I agree that this should be done.