diff options
author | panne <unknown> | 2003-08-27 07:50:03 +0000 |
---|---|---|
committer | panne <unknown> | 2003-08-27 07:50:03 +0000 |
commit | e657726555e1e7a494c5a759547b1d102d54c236 (patch) | |
tree | 0ccc6b3c9a58224b50f3c7bee186a9bdf5f3e008 /src/Makefile | |
parent | 5d156a914ad37f6dc0f412acd527ee069b1151fa (diff) |
[haddock @ 2003-08-27 07:50:02 by panne]
* Made -D a short option for --dump-interface.
* Made -m a short option for --ms-help.
* Made -n a short option for --no-implicit-prelude.
* Made -c a short option for --css.
* Removed DocBook options from executable (they didn't do anything),
but mark them as reserved in the docs. Note that the short option
for DocBook output is now -S (from SGML) instead of -d. The latter
is now a short option for --debug.
* The order of the Options in the documentation now matches the order
printed by Haddock itself.
Note: Although changing the names of options is often a bad idea, I'd
really like to make the options for the programs in fptools more
consistent and compatible to the ones used in common GNU programs.
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions