diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-09-07 12:14:14 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-09-07 12:14:14 +0000 |
| commit | 33c2369367f33de4f5754454bd099afc3811ad1a (patch) | |
| tree | 27a884b0b0192774f0803de967e5ebb6d0120cf1 /Makefile | |
| parent | 3ed54797c2824e1ad5cbe8015401e9e648bf122a (diff) | |
| download | haskell-33c2369367f33de4f5754454bd099afc3811ad1a.tar.gz | |
Fix publishing
Paths like c:/foo/bar get misinterpreted by rsync (really SSH?), as it
thinks we want /foo/bar on the machine c.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -430,8 +430,19 @@ publish-binary-dist :: # You need to first make binddisttest, and then run # make publish 'prefix=$(BIN_DIST_INST_DIR)' # for this to find the right place. + +# We assume that Windows means Cygwin, as we can't just use docdir +# unchanged or rsync (really SSH?) thinks that c:/foo means /foo on +# the machine c. + +ifeq "$(Windows)" "YES" +PUBLISH_DOCDIR = $(shell cygpath --unix $(docdir)) +else +PUBLISH_DOCDIR = $(docdir) +endif + publish-binary-dist :: - $(PublishCp) -r $(docdir)/* $(PublishLocation)/docs + $(PublishCp) -r $(PUBLISH_DOCDIR)/* $(PublishLocation)/docs binary-dist:: @echo "Mechanical and super-natty! Inspect the result and *if* happy; freeze, sell and get some sleep!" |