From 1679cca32210b741677ef9cf48839cd951980cd9 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 6 Aug 2020 00:26:54 +0200
Subject: Makefile: Put distribution man pages in `dist/share/man/man1/`

---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 33f5367..0f6bf80 100644
--- a/Makefile
+++ b/Makefile
@@ -45,8 +45,11 @@ dist: $(DIST_PRODUCTS) $(DIST_MAN_PAGES)
 $(DIST):
 	mkdir -p $@
 
+$(DIST)/share/man/man1: $(DIST)
+	mkdir -p $@
+
 $(DIST_PRODUCTS): $(DIST) $(RELEASE_PRODUCTS)
 	cp $(RELEASE_PRODUCTS) $(DIST)
 
-$(DIST_MAN_PAGES): $(DIST) $(MAN_PAGES)
-	cp $(MAN_PAGES) $(DIST)
+$(DIST_MAN_PAGES): $(DIST)/share/man/man1 $(MAN_PAGES)
+	cp $(MAN_PAGES) $<
-- 
cgit v1.2.3