[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.

diff --git a/ghc/ghc.spec.in b/ghc/ghc.spec.in
index 6bf7ca5..85b6048 100644 (file)
--- 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