Commit 76302ff2 authored by Simon Marlow's avatar Simon Marlow
Browse files

Add dist/ to $(PublishLocation)

The docs were going in the wrong place before:
..../dist/docs instead of ..../docs
parent 68543610
......@@ -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
......
Supports Markdown
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