From: Ian Lynagh <igloo@earth.li>
Date: Sat, 1 Aug 2009 22:41:55 +0000 (+0000)
Subject: Add a publish-docs rule
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=92357c8ef004e57bda70cdde47d2ed573021434c

Add a publish-docs rule
---

diff --git a/ghc.mk b/ghc.mk
index 7aa708c..6dde925 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -833,6 +833,10 @@ ifeq "$(mingw32_TARGET_OS)" "1"
 	$(call nTimes,10,$(PublishCp) $(WINDOWS_INSTALLER) $(PublishLocation)/dist)
 endif
 
+.PHONY: publish-docs
+publish-docs:
+	$(call nTimes,10,$(PublishCp) -r bindisttest/installed/share/doc/ghc/* $(PublishLocation)/docs)
+
 # -----------------------------------------------------------------------------
 # Source distributions