aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
authorpanne <unknown>2003-08-27 07:50:03 +0000
committerpanne <unknown>2003-08-27 07:50:03 +0000
commite657726555e1e7a494c5a759547b1d102d54c236 (patch)
tree0ccc6b3c9a58224b50f3c7bee186a9bdf5f3e008 /src/Makefile
parent5d156a914ad37f6dc0f412acd527ee069b1151fa (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