Re: kainhofer docs not updating

[Joseph Wakeling]

John Mandereau wrote:
> Le mardi 08 septembre 2009 à 12:30 +0200, Joseph Wakeling a écrit :
>> I note that texi2html is only 1.78 on my system (it's the version native
>> to Ubuntu Karmic).  Is this going to be a blocker?
> 
> If you want HTML output of the documentation, yes.

OK, that's tolerable.  doc-stage-1 now builds successfully, so I can
check the PDF and the correctness of the markup.  HTML is not absolutely
necessary.