30 Apr
2010
30 Apr
'10
11:37 a.m.
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.
Frank