Compilation error

[David Waern]

2010/7/23 Mark Lentczner <markl at glyphic.com>:
>
> On Jul 23, 2010, at 8:54 AM, David Waern wrote:
>
>> Oops, I didn't try building with GHC 6.12 before pushing. We need a
>> few ifdef's around Ian's mkPState patch.
>
> Good to know. I'll wait for those before pulling / merging / pushing.
>
> Heads up: I'll be pushing code that
>
> a) Removes the Html backend and makes Xhtml the web backend. "--xhtml" now just becomes a synonym for "-h" and "--html"

Can't we just remove --xhtml?

> b) Removes the DevHelp, HH, and HH2 backend code, and the "--dev-help" option. As discussed, this code was very old and not maintained.

Good!

> c) Adds theme options, as follows (somewhat different than previously posted):
>        -c --css or --theme   uses the named theme
>        --built-in-themes     adds all the built-in-themes
>
> A theme can be specified as (in order of testing)
>        a single CSS file, must end in .css
>        a directory, containing a single .css file - contents will be copied into output dir
>        the name of a built-in theme (case insensitive)
>
> The theme list starts off empty, then command line arguments are processed in order. If the theme list is empty, the default built-in theme is added as the only theme. The first theme in the list becomes the default theme. If the theme list has two or more themes, a theme switcher is added to the output.
>
> Note on copied files: As haddock copies all auxiliary files needed by the theming into the same flat directory as the generated source, all .css names must be distinct in all themes used. If two themes have other files that are named the same, they are assumed to be identical (this lets themes share Haskell icons, for example).
>
> d) Makes "Ocean" (previously "Nomi") the default theme. And it has yet more tweaks.

OK, so -c and --css are backwards-compatible. Great!

David