Commit 4d20bc6a authored by Ian Lynagh's avatar Ian Lynagh

Fix paths used for doc publishing in the nightly builds

parent 1edc287a
......@@ -1076,9 +1076,15 @@ ifeq "$(mingw32_TARGET_OS)" "1"
$(call try10Times,$(PublishCp) $(WINDOWS_INSTALLER) $(PublishLocation)/dist)
endif
ifeq "$(mingw32_TARGET_OS)" "1"
DOCDIR_TO_PUBLISH = bindisttest/"install dir"/doc
else
DOCDIR_TO_PUBLISH = bindisttest/"install dir"/share/doc/ghc
endif
.PHONY: publish-docs
publish-docs:
$(call try10Times,$(PublishCp) -r bindisttest/installed/share/doc/ghc/* $(PublishLocation)/docs)
$(call try10Times,$(PublishCp) -r $(DOCDIR_TO_PUBLISH)/* $(PublishLocation)/docs)
# -----------------------------------------------------------------------------
# Source distributions
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment