From dc6afa5e23a849fa0aefbf69bafc0c9faaf844ed Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Mon, 5 Nov 2018 01:37:14 +0100
Subject: Makefile: Add dist targets

We'll stick the binary and man pages in this directory for packaging.
---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 28583ea..3edadb2 100644
--- a/Makefile
+++ b/Makefile
@@ -60,3 +60,12 @@ doc/dome-key.1: doc/dome-key.1.txt
 
 .PHONY: doc
 doc: doc/dome-key.1
+
+.PHONY: dist-all
+dist-all: dist/dome-key
+
+dist:
+	mkdir -p dist
+
+dist/dome-key: $(RELEASE_PRODUCT) dist
+	cp $< $@
-- 
cgit v1.2.3