[Developers] HTML documentation

Ian Hinder ian.hinder at aei.mpg.de
Tue May 25 12:30:10 CDT 2010


On 25 May 2010, at 18:26, Barry Wardell wrote:

> Hi,
>
> Attached is a patch which enables support for compiling HTML  
> versions of
...

> Ian Hinder has been testing this patch.


As far as I can tell, the existing PDF documentation still builds  
correctly, and the HTML documentation looks good.  If there are no  
other objections, I think this should be committed.

-- 
Ian Hinder
ian.hinder at aei.mpg.de



More information about the Developers mailing list