Commit 92357c8e authored by Ian Lynagh's avatar Ian Lynagh

Add a publish-docs rule

parent 663fd6d2
......@@ -833,6 +833,10 @@ ifeq "$(mingw32_TARGET_OS)" "1"
$(call nTimes,10,$(PublishCp) $(WINDOWS_INSTALLER) $(PublishLocation)/dist)
endif
.PHONY: publish-docs
publish-docs:
$(call nTimes,10,$(PublishCp) -r bindisttest/installed/share/doc/ghc/* $(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