From d8975d91355311ffc7f1ec4cb9092495adf36a22 Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Thu, 24 Aug 2017 00:45:10 -0700 Subject: [PATCH] makefile: better dist rule --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 552030f3a..b4502d7d2 100644 --- a/Makefile +++ b/Makefile @@ -87,13 +87,13 @@ build/release/Interface-%.zip: build/.zip.zip zip: ${ZIP_FILE_DEV} zip_dist: ${ZIP_FILE_DIST} -dist: +pre_dist: @echo "Creating distribution for version ${VERSION}" @if [ -f "${ZIP_FILE_DIST}" ]; \ then echo "${ZIP_FILE_DIST} already exists. Bump version or remove the zip file to continue." >&2; \ exit 1; \ fi - @$(MAKE) zip_dist +dist: pre_dist zip_dist glyphinfo rm -rf docs/font-files mkdir docs/font-files cp -a build/dist/*.woff build/dist/*.woff2 docs/font-files/ @@ -134,4 +134,4 @@ _local/UnicodeData.txt: clean: rm -vrf build/tmp/* build/dist/Interface-*.* -.PHONY: all web clean install install_otf install_ttf deploy zip zip_dist dist glyphinfo +.PHONY: all web clean install install_otf install_ttf deploy zip zip_dist pre_dist dist glyphinfo