From 581517f3fca652bb36ff6f7cdd1e84d395bbc5a4 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 23 Jul 2002 10:09:51 +0000
Subject: [PATCH] [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 |   10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/configure.in b/configure.in
index cb16922..925bf5b 100644
--- 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 --------------------------------------------------
-- 
1.7.10.4