X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=16a352d47cc560c35f7d837a356b75c75cfe8268;hb=364193a015565b043c5d0417750b023af6760c4f;hp=dd1e746c88424f2fb600c577edcdaa2c7684e0bf;hpb=f8033bd16a17bafe09023790ff374fe571380b5e;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index dd1e746..16a352d 100644
--- a/Makefile
+++ b/Makefile
@@ -400,13 +400,22 @@ binary-dist :: publish-binary-dist
 endif
 
 .PHONY: publish-binary-dist
-publish-binary-dist :
+publish-binary-dist ::
 	@for i in 0 1 2 3 4 5 6 7 8 9; do \
 		echo "Try $$i: $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation)/dist"; \
 		if $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation)/dist; then break; fi; \
 	done
-	$(PublishCp) -r $(FPTOOLS_TOP)/$(BIN_DIST_NAME)/share/html/* $(PublishLocation)/docs
 
+ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+# On Windows, we cannot use absoluate pathnames to rsync, because they look
+# like remote pathnames ("c:/foo/bar").  Also, the docs reside in doc/
+# rather than share/, due to prep-bin-dist-mingw.
+publish-binary-dist ::
+	$(PublishCp) -r $(FPTOOLS_TOP)/$(BIN_DIST_NAME)/doc/html/* $(PublishLocation)/docs
+else
+publish-binary-dist ::
+	$(PublishCp) -r $(BIN_DIST_DIR)/share/html/* $(PublishLocation)/docs
+endif
 
 binary-dist::
 	@echo "Mechanical and super-natty! Inspect the result and *if* happy; freeze, sell and get some sleep!"