diff options
| author | simonmar <unknown> | 2002-04-11 13:40:31 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-04-11 13:40:31 +0000 |
| commit | fe9b10f8c0758645c680b339b8cc26bfb25697e8 (patch) | |
| tree | adfa11682a095eaa758f6c57fedc05b7347e283a /doc/Makefile | |
| parent | 69006c3efae7477ca84fd679f72d6a0a2f500534 (diff) | |
[haddock @ 2002-04-11 13:40:30 by simonmar]
- copy haddock.css into the same place as the generated HTML
- new option: --css <file> specifies the style sheet to use
- new option: -o <dir> specifies the directory in which to
generate the output.
- because Haddock now needs to know where to find its default stylesheet,
we have to have a wrapper script and do the haddock-inplace thing
(Makefile code copied largely from fptools/happy).
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions