I have installed the GNU texinfo 3.12 (which i think is the latest
    version).

Hi Roman,

Yes, that's the latest official version, but please try the current
pretest at ftp://alpha.gnu.org/gnu/texinfo.tar.gz to see if the bug has
been fixed.

Thanks,
Karl

Reply via email to