From 76302ff26e9059846cf2a2f4edb24f03c5ea3740 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 18 May 2007 08:58:11 +0000 Subject: [PATCH] Add dist/ to $(PublishLocation) The docs were going in the wrong place before: ..../dist/docs instead of ..../docs --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index f143535..c27d5ac 100644 --- a/Makefile +++ b/Makefile @@ -396,8 +396,8 @@ endif .PHONY: publish-binary-dist publish-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; \ + echo "Try $$i: $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation)/dist"; \ + if $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation)/dist; then break; fi; \ done $(PublishCp) -r $(BIN_DIST_DIR)/share/html/* $(PublishLocation)/docs -- 1.7.10.4