Hi Karl, > As a developer, you could just install the current texinfo yourself, > instead of living with what the distro decides to give you.
I suppose you are right. Normally, I wouldn't bother with ancient software like that, but in this particular case it's not easy for me to replace makeinfo because the environment I'm using is the one provided by Travis-CI. Yes, I *can* compile and install my own makeinfo program as part of my .travis.yaml script, but that's awkward and time-consuming to set up, test, and maintain. It's all very inconvenient, basically. If gnulib trough some miracle solves the problem for me, then that would be great, but I'll completely understand if no-one feels like that is a problem they would enjoy spending their spare time solving. For the time being, I've simply disabled the "make web-manual" step from my CI instructions, which is okay. Best regards, Peter
