Haddock: how to disable the JavaScript menus?

Tue Sep 28 11:26:09 EDT 2004

On Tue, Sep 28, 2004 at 04:05:59PM +0100, Malcolm Wallace wrote:
> On the theme of improving Haddock, do you think it could be fixed to
> generate valid HTML?

Maybe it would be a good idea to use Peter Thiemann's WASH/HTML
library? Dependence on external library is one obvious (small?) problem
that comes to mind.

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links