diff options
author | Duncan Coutts <duncan.coutts@worc.ox.ac.uk> | 2006-01-19 20:28:27 +0000 |
---|---|---|
committer | Duncan Coutts <duncan.coutts@worc.ox.ac.uk> | 2006-01-19 20:28:27 +0000 |
commit | f52324bb86a403f41ad9fc2050bc350fd7635714 (patch) | |
tree | 7d81a3ab8df7a5f27c2020fb2a840977478f4fa1 /src/HsParser.ly | |
parent | 17adfda903a5bf9051159beb61cb37dc084eb8b4 (diff) |
Rewrite pathJoin to only add a path separator when necessary.
When the path ends in a file seperator there is no need to add another.
Now using "--wiki=http://blah.com/foo/" should do the right thing.
(Code snippet adapted from Isaac's FilePath package.)
Diffstat (limited to 'src/HsParser.ly')
0 files changed, 0 insertions, 0 deletions