aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTeddy Wing2020-08-06 00:29:03 +0200
committerTeddy Wing2020-08-06 00:29:03 +0200
commite46b376b54e1fed05fd8378a79068af9a436a1d6 (patch)
tree7a67a2dd1889c0d85261e7c546adc7949bd9d4ce
parent1679cca32210b741677ef9cf48839cd951980cd9 (diff)
downloadgit-suggestion-e46b376b54e1fed05fd8378a79068af9a436a1d6.tar.bz2
Makefile: Put distribution binaries in `dist/bin/`
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 0f6bf80..5dce5a1 100644
--- a/Makefile
+++ b/Makefile
@@ -45,11 +45,14 @@ dist: $(DIST_PRODUCTS) $(DIST_MAN_PAGES)
$(DIST):
mkdir -p $@
+$(DIST)/bin: $(DIST)
+ mkdir -p $@
+
$(DIST)/share/man/man1: $(DIST)
mkdir -p $@
-$(DIST_PRODUCTS): $(DIST) $(RELEASE_PRODUCTS)
- cp $(RELEASE_PRODUCTS) $(DIST)
+$(DIST_PRODUCTS): $(DIST)/bin $(RELEASE_PRODUCTS)
+ cp $(RELEASE_PRODUCTS) $<
$(DIST_MAN_PAGES): $(DIST)/share/man/man1 $(MAN_PAGES)
cp $(MAN_PAGES) $<