diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-07-23 06:58:31 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-07-23 06:58:31 +0000 |
| commit | e37cef7364006392a073cc4f6601078829f2dbec (patch) | |
| tree | a23aa13174f2eaf2ee4711ca67a3e97743b05359 /make-sdist.sh | |
| parent | c6eab25b7b9b6b8fb077014de61324416e4f2816 (diff) | |
drop --themes support, add named theme support
decided that --themes was silly - no one would do that, just use
multiple --theme arguments
made --theme a synonym for --css and -c
made those arguments, if no file is found, look up the argument as the
name of a built in theme
all of this let's haddock be invoked with "--theme=classic" for example.
Diffstat (limited to 'make-sdist.sh')
0 files changed, 0 insertions, 0 deletions