diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2007-05-21 10:45:34 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2007-05-21 10:45:34 +0000 |
| commit | 34fdf05fcfa807d083649306ddea0ddaa4b55eb3 (patch) | |
| tree | 61fe424946e23d48e2bb88eb98645fea22d5fe3f /Makefile | |
| parent | f8033bd16a17bafe09023790ff374fe571380b5e (diff) | |
| download | haskell-34fdf05fcfa807d083649306ddea0ddaa4b55eb3.tar.gz | |
separate the Windows version of uploading the docs, and fix it
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -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!" |