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 /Makefile | |
| parent | 1679cca32210b741677ef9cf48839cd951980cd9 (diff) | |
| download | git-suggestion-e46b376b54e1fed05fd8378a79068af9a436a1d6.tar.bz2 | |
Makefile: Put distribution binaries in `dist/bin/`
Diffstat (limited to 'Makefile')
| -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) $< | 
