diff options
author | Duncan Coutts <duncan.coutts@worc.ox.ac.uk> | 2006-01-23 13:42:34 +0000 |
---|---|---|
committer | Duncan Coutts <duncan.coutts@worc.ox.ac.uk> | 2006-01-23 13:42:34 +0000 |
commit | eb3c6adafff71264ff2b01b145e228a87b8c0a0f (patch) | |
tree | f4e82bfa1c7c64cff1606ef26eb9571fa8649508 /src/FastMutInt.hs | |
parent | edd9f2295507bce2247108a4d5a0d991f15fd250 (diff) |
Remove the complex substitutions and add more command line flags instead.
Instead of incomprehensable URL substitutions like ${MODULE/./-|?m=%} we now
use three seperate command line flags for the top level, per-module and
per-entity source and wiki links. They are:
--source-base, --source-module, --source-entity
--comments-base, --comments-module, --comments-entity
We leave -s, --source as an alias for --source-module which is how that option
behaved previously.
The long forms of the substitutions are still available, ${FILE} ${MODULE} etc
and the only non-trivial substitution is ${MODULE/./c} to replace the '.'
characters in the module name with any other character c. eg ${MODULE/./-}
Seperating the source and wiki url flags has the added bonus that they can
be turned on or off individually. So users can have per-module links for
example without having to also have per-entity links.`
Diffstat (limited to 'src/FastMutInt.hs')
0 files changed, 0 insertions, 0 deletions