[project @ 2002-07-23 10:09:51 by simonmar]
authorsimonmar <unknown>
Tue, 23 Jul 2002 10:09:51 +0000 (10:09 +0000)
committersimonmar <unknown>
Tue, 23 Jul 2002 10:09:51 +0000 (10:09 +0000)
- Invoke FPTOOLS_HADDOCK to find an installed Haddock
- Add an option --use-src-tree-haddock to mirror --use-src-tree-happy


No differences found