bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: makeinfo 4.13 support?


From: Peter Simons
Subject: Re: makeinfo 4.13 support?
Date: Thu, 09 Jun 2016 21:36:53 +0200

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]