From: Ian Lynagh <igloo@earth.li>
Date: Wed, 5 Dec 2007 01:37:03 +0000 (+0000)
Subject: Copy hscolour.css into dist/... so it gets installed with the library docs
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=41ea3aecf9cb33f9b037376ab731a3927d1a2f03;p=ghc-hetmet.git

Copy hscolour.css into dist/... so it gets installed with the library docs
---

diff --git a/libraries/Makefile b/libraries/Makefile
index 3e29f6b..38bf497 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -299,6 +299,9 @@ doc.library.%: stamp/configure.library.build$(CONFIGURE_STAMP_EXTRAS).% \
 	  cd $* && setup/Setup haddock --html-location='../$$pkg' \
 	                               $(CABAL_HADDOCK_FLAGS); \
 	fi
+ifneq "$(HSCOLOUR)" ""
+	ifBuildable/ifBuildable $* && cp hscolour.css $*/dist/doc/html/$*/src/
+endif
 
 .PHONY: distclean clean clean.library.%