diff options
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 $< $@ |