On Mon, Sep 19, 2016 at 2:33 PM, Gavin Smith <gavinsmith0...@gmail.com>
> Are you sure that you are using the texinfo.tex from Texinfo 6.3?
Right now, there's no texinfo-6.3 in Fedora. My colleague (
vcrho...@redhat.com) is planning to add this to Fedora Rawhide this
afternoon. (Unfortunately, it's too late to add texinfo-6.3 into Fedora 25,
we're too late in the devel phase for this.) This log comes from build
with texinfo-6.1, if I'm not mistaken.
In any way, he tried to build it with texinfo-6.3 as well, but had the same
result as before.