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