MERGE: add prep-bin-dist-mingw to binary-dist target, and add a separate target for

 publish-binary-dist

diff --git a/Makefile b/Makefile
index 7d0d66d..fbbf544 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -366,7 +366,7 @@ binary-dist::
 endif
 
 # Jiggle the files around to make a valid Windows distribution if necessary
-ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
 binary-dist :: fiddle-binary-dist
 endif
 
@@ -406,6 +406,10 @@ tar-binary-dist:
 # Upload the distribution and documentation
 ifneq "$(PublishLocation)" ""
 binary-dist ::
+       $(MAKE) publish-binary-dist
+endif
+
+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)"; \
                if $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation); then break; fi\