30 Apr
2010
30 Apr
'10
1:53 p.m.
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@aei.mpg.de