diff options
| author | Teddy Wing | 2018-11-05 01:37:14 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-05 01:37:14 +0100 |
| commit | dc6afa5e23a849fa0aefbf69bafc0c9faaf844ed (patch) | |
| tree | 8bd5b1f99e9b0ca4b1d17a6a9d318313a5832983 /Makefile | |
| parent | c64bbfd6eb6c4485076265c8be3c28ff3c18fdab (diff) | |
| download | DomeKey-dc6afa5e23a849fa0aefbf69bafc0c9faaf844ed.tar.bz2 | |
Makefile: Add dist targets
We'll stick the binary and man pages in this directory for packaging.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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 $< $@ |