add mkromdisk to dist

cnvogelg · Jul 27, 2016 · f7d6435 · f7d6435
1 parent 0c25c07
commit f7d6435
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -69,6 +69,7 @@ dist_local: $(ROM_NAME)
 dist: dist_dirs dist_flavors
 	@$(MAKE) -C src dist DIST_DIR=../$(DIST_NAME)
 	@cp README.md $(DIST_NAME)/
+	@cp mkromdisk $(DIST_NAME)/
 	@cp doc/*.md $(DIST_NAME)/doc/
 	@echo "--- dist: $(DIST_NAME) ---"
 	@ls -laR $(DIST_NAME)