[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)
commit581517f3fca652bb36ff6f7cdd1e84d395bbc5a4
tree332f1e071c39ea02ccd39514267388293769c1e8
parent3d416a577d7cc35d13dfe265c4f5cb19e4f27e88
[project @ 2002-07-23 10:09:51 by simonmar]
- Invoke FPTOOLS_HADDOCK to find an installed Haddock
- Add an option --use-src-tree-haddock to mirror --use-src-tree-happy
configure.in