From 7d98368f66769b8fa35f4962dc2bbeeb6484a747 Mon Sep 17 00:00:00 2001
From: chak <unknown>
Date: Mon, 16 Sep 2002 10:39:11 +0000
Subject: [PATCH] [project @ 2002-09-16 10:39:11 by chak] Well, I was
 apparently not up-to-date on the latest Haddock config
 magic. Removed the last change, which forced the use of an
 external installation of Haddock.

---
 ghc/ghc.spec.in |    5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/ghc/ghc.spec.in b/ghc/ghc.spec.in
index 6bf7ca5..85b6048 100644
--- a/ghc/ghc.spec.in
+++ b/ghc/ghc.spec.in
@@ -68,9 +68,6 @@ the documentation is available online at
 
 %changelog
 
-* Mon Sep 16 2002 Manuel Chakravarty
-- Use external Haddock installation
-
 * Wed Sep 26 2001 Manuel Chakravarty
 - small changes for 5.04
 
@@ -133,7 +130,7 @@ END
 %build
 ./configure --prefix=%{prefix}
 make boot
-make HADDOCK_INPLACE=haddock all ps html
+make all ps html
  
 %install
 rm -rf $RPM_BUILD_ROOT
-- 
1.7.10.4