From e46b376b54e1fed05fd8378a79068af9a436a1d6 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 6 Aug 2020 00:29:03 +0200
Subject: Makefile: Put distribution binaries in `dist/bin/`

---
 Makefile | 7 +++++--
 1 file 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) $<
-- 
cgit v1.2.3