1 files changed, 4 insertions, 0 deletions
diff --git a/ghc.mk b/ghc.mk
index 7aa708cc13..6dde925dbf 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -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