projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3cd5182
)
Fix publishing the docs
author
Ian Lynagh
<igloo@earth.li>
Sun, 16 Dec 2007 12:25:44 +0000
(12:25 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sun, 16 Dec 2007 12:25:44 +0000
(12:25 +0000)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
f58ae70
..
bceef03
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-385,7
+385,8
@@
endif
# Upload the distribution and documentation
ifneq "$(PublishLocation)" ""
# Upload the distribution and documentation
ifneq "$(PublishLocation)" ""
-publish :: publish-binary-dist
+publish ::
+ make publish-binary-dist 'prefix=$(BIN_DIST_INST_DIR)'
endif
.PHONY: publish-binary-dist
endif
.PHONY: publish-binary-dist
@@
-397,9
+398,9
@@
publish-binary-dist ::
done \
done
done \
done
-# You need to first make binddisttest, and then run
-# make publish 'prefix=$(BIN_DIST_INST_DIR)'
-# for this to find the right place.
+# You need to "make binddisttest" before publishing the docs, as it
+# works by publish setting $(prefix) to inside the binddisttest
+# directory so $(docdir) points to 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
# 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