bug-gnulib
[Top][All Lists]
Advanced

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

Re: gendocs broken?


From: Pádraig Brady
Subject: Re: gendocs broken?
Date: Sun, 17 Jun 2018 14:31:09 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0

On 17/06/18 12:11, Bruce Korb wrote:
> Hi Pádraig,
> 
> If "texi2html" is out of date, then how do I get HTML?
> I want to keep my online docs up to date. If there's a better
> way, I'm for that. I confess I don't closely track stuff so
> when better ways come around, I need to find out by bumping
> into something. This is such a bump. It would be convenient
> if I could just tell the script to "make html" and it figured
> out how to do that. :) Also, if it cannot (like I didn't have
> texi2html installed), it should *FAIL* rather than silently
> creating an empty html file. It took an hour of futzing around
> to finally figure out that the execution failure of the non-
> existent texi2html was silently ignored. :(

I'm not too familiar with these tools TBH,
but makeinfo is used to generate html if --texi2html
is not passed to this gendocs.sh script.
texi2html docs also point to makeinfo being the
focus of development now.

I've pushed my patch.

cheers,
Pádraig




reply via email to

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