From: simonmar Date: Tue, 23 Jul 2002 10:09:51 +0000 (+0000) Subject: [project @ 2002-07-23 10:09:51 by simonmar] X-Git-Tag: Approx_11550_changesets_converted~1819 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=581517f3fca652bb36ff6f7cdd1e84d395bbc5a4;p=ghc-hetmet.git [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 --- 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 --------------------------------------------------