X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc.mk;h=91bf43d6fe047d358b9a95e9418e41624163a856;hb=5e218036aabd1666ff2b509436e4e88491596c37;hp=0d21dcfc73e9a22ab5af5acb7670e60bd2b999b7;hpb=17bd9ff74ab9d5c4ff545d7cec3a6d014590f822;p=ghc-hetmet.git

diff --git a/ghc.mk b/ghc.mk
index 0d21dcf..91bf43d 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1076,9 +1076,15 @@ ifeq "$(mingw32_TARGET_OS)" "1"
 	$(call try10Times,$(PublishCp) $(WINDOWS_INSTALLER) $(PublishLocation)/dist)
 endif
 
+ifeq "$(mingw32_TARGET_OS)" "1"
+DOCDIR_TO_PUBLISH = bindisttest/"install dir"/doc
+else
+DOCDIR_TO_PUBLISH = bindisttest/"install dir"/share/doc/ghc
+endif
+
 .PHONY: publish-docs
 publish-docs:
-	$(call try10Times,$(PublishCp) -r bindisttest/installed/share/doc/ghc/* $(PublishLocation)/docs)
+	$(call try10Times,$(PublishCp) -r $(DOCDIR_TO_PUBLISH)/* $(PublishLocation)/docs)
 
 # -----------------------------------------------------------------------------
 # Source distributions