From 6f4c0cc69493c6a53c06cd58ce5aa99276de8888 Mon Sep 17 00:00:00 2001 From: chak Date: Mon, 16 Sep 2002 07:08:26 +0000 Subject: [PATCH] [project @ 2002-09-16 07:08:26 by chak] Use external Haddock installation --- ghc/ghc.spec.in | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/ghc/ghc.spec.in b/ghc/ghc.spec.in index 1e3ab95..6bf7ca5 100644 --- a/ghc/ghc.spec.in +++ b/ghc/ghc.spec.in @@ -1,4 +1,4 @@ -# RPM spec file for GHC +# RPM spec file for GHC -*-rpm-spec-*- # # Copyright [1998..2002] The GHC Team # @@ -68,6 +68,9 @@ 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 @@ -130,7 +133,7 @@ END %build ./configure --prefix=%{prefix} make boot -make all ps html +make HADDOCK_INPLACE=haddock all ps html %install rm -rf $RPM_BUILD_ROOT @@ -139,6 +142,7 @@ rm -rf $RPM_BUILD_ROOT make prefix=$RPM_BUILD_ROOT%{prefix} install-dirs make prefix=$RPM_BUILD_ROOT%{prefix} install + mkdir -p $RPM_BUILD_ROOT%{prefix}/share/doc/ghc-%{version} cp ghc/ANNOUNCE ghc/README $RPM_BUILD_ROOT%{prefix}/share/doc/ghc-%{version} -- 1.7.10.4