[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