On 30/04/2010 20:53, Ian Hinder wrote:
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.
I also agree. The main reason I created separate targets is that the HTML generation takes significantly longer than PDF generation. This is because it needs to first create a dvi file from the tex and then it needs to create PNGs for anything that can't be reliably represented with plain HTML. You don't want to wait for it to generate HTML if all you want is a PDF.