Figure out how to install docs

15 years ago · 64a92f34b6
parent be50ea68e1
commit 64a92f34b6
1 changed files with 2 additions and 2 deletions
--- 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