[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

diff --git a/configure.in b/configure.in
index cb16922..925bf5b 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -675,6 +675,16 @@ if test "$BootingFromHc" = "NO"; then
 FPTOOLS_HAPPY
 fi;
 
+AC_ARG_ENABLE(src-tree-haddock,
+[  --enable-src-tree-haddock
+        Build and use source tree (fptools/haddock) version of haddock.
+],
+[UseSrcTreeHaddock=YES],
+[UseSrcTreeHaddock=NO]
+)
+dnl ** check for installed haddock
+FPTOOLS_HADDOCK
+
 dnl --------------------------------------------------
 dnl ### program checking section ends here ###
 dnl --------------------------------------------------