Eli Zaretskii writes: > That's a different problem; I guess something is missing in your > installation. That was my first thought as well, but I have tried both on Fedora 25 and Debian 8, with the full TeXlive distribution installed, and I get the exact same error. > I suggest to ask this on the appropriate TeX forum. Sorry, I don't > know where that is. Or maybe try on bug-texinfo@gnu.org, there are a > few guys there who know TeX well. I'll try that, thanks. Cheers, Nico