From 64a92f34b6c62c714b19740c64fbcb35d461ff23 Mon Sep 17 00:00:00 2001
From: Bryan O'Sullivan <bos@fedoraproject.org>
Date: Oct 12 2009 02:48:15 +0000
Subject: Figure out how to install docs


---

diff --git a/ghc.spec b/ghc.spec
index 38c6a66..04d5a74 100644
--- a/ghc.spec
+++ b/ghc.spec
@@ -139,7 +139,7 @@ echo "XMLDocWays = html" >> mk/build.mk
 make %{_smp_mflags}
 
 %if %{with manual}
-make %{_smp_mflags} html
+echo XXX no longer supported - make %{_smp_mflags} html
 %endif
 
 %install
@@ -148,7 +148,7 @@ rm -rf $RPM_BUILD_ROOT
 make DESTDIR=${RPM_BUILD_ROOT} install
 
 %if %{with manual}
-make DESTDIR=${RPM_BUILD_ROOT} install-docs
+echo XXX unnecessary make DESTDIR=${RPM_BUILD_ROOT} install-docs
 %endif
 
 SRC_TOP=$PWD