code push

Mark Lentczner markl at
Sat Jul 24 13:01:10 EDT 2010

I pushed my changes to this morning. It includes all of the styling work to date, and some large code changes:

  * remove old HTML backend
  * remove --html-help support - it was old, out-of-date, and mostly missing
  * command-line argument processing for theme selection

	- Mark

Mark Lentczner
IRC: mtnviewmark

More information about the Haddock mailing list