aboutsummaryrefslogtreecommitdiff
path: root/src/FastMutInt.hs
diff options
context:
space:
mode:
authorDuncan Coutts <duncan.coutts@worc.ox.ac.uk>2006-01-23 13:42:34 +0000
committerDuncan Coutts <duncan.coutts@worc.ox.ac.uk>2006-01-23 13:42:34 +0000
commiteb3c6adafff71264ff2b01b145e228a87b8c0a0f (patch)
treef4e82bfa1c7c64cff1606ef26eb9571fa8649508 /src/FastMutInt.hs
parentedd9f2295507bce2247108a4d5a0d991f15fd250 (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