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\
+ if $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation); then break; fi; \
done
$(PublishCp) -r $(BIN_DIST_DIR)/share/html/* $(PublishLocation)/docs