[Users] Initial data documentation

Ian Hinder ian.hinder at aei.mpg.de
Fri Apr 30 13:53:25 CDT 2010


On 30 Apr 2010, at 20:37, Frank Loeffler wrote:

> On Fri, Apr 30, 2010 at 07:20:26AM -0400, Allen Gabrielle wrote:
>> Do we need different targets for PDF and HTML? How about just  
>> generating all forms of documentation with the regular target?
>
> I think we should have different targets (although there could be one
> target building both), because htlatex is not generally installed.

I agree that we should have different targets.

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



More information about the Users mailing list