diff options
author | Teddy Wing | 2020-08-06 00:29:03 +0200 |
---|---|---|
committer | Teddy Wing | 2020-08-06 00:29:03 +0200 |
commit | e46b376b54e1fed05fd8378a79068af9a436a1d6 (patch) | |
tree | 7a67a2dd1889c0d85261e7c546adc7949bd9d4ce | |
parent | 1679cca32210b741677ef9cf48839cd951980cd9 (diff) | |
download | git-suggestion-e46b376b54e1fed05fd8378a79068af9a436a1d6.tar.bz2 |
Makefile: Put distribution binaries in `dist/bin/`
-rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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) $< |