diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile | 9 |
2 files changed, 10 insertions, 0 deletions
@@ -1,6 +1,7 @@ # Build build/ DerivedData/ +dist/ # Settings *.pbxuser @@ -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 $< $@ |