From 64496ad6ff9164151381d11d223294bde1859211 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 22 Feb 2007 10:28:23 +0000 Subject: [PATCH] upload documentation too --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6fe1a52..ab4f594 100644 --- a/Makefile +++ b/Makefile @@ -380,13 +380,14 @@ binary-dist :: ( cd $(BIN_DIST_TOPDIR); tar cf - $(BIN_DIST_NAME) | bzip2 >$(BIN_DIST_TARBALL) ) ( cd $(BIN_DIST_TOPDIR); bunzip2 -c $(BIN_DIST_TARBALL) | tar tf - | sed "s/^ghc-$(ProjectVersion)/fptools/" | sort >bin-manifest-$(ProjectVersion) ) -# Upload the distribution +# Upload the distribution and documentation ifneq "$(PublishLocation)" "" binary-dist :: @for i in 0 1 2 3 4 5 6 7 8 9; do \ echo "Try $$i: $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation)"; \ if $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation); then break; fi\ done + $(PublishCp) -r $(BIN_DIST_DIR)/share/html/* $(PublishLocation)/docs endif -- 1.7.10.4