diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-04 05:01:04 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-09-04 05:01:04 +0300 |
commit | 52b14159b77a30c6591cd4cc7eceed6d07da6f51 (patch) | |
tree | 82fdb2bafdb0cb91d034090b23240081701a5ae2 /Makefile | |
parent | bdb60c84f0cb95ce1c6b91d0e0a52ba2b9421c00 (diff) | |
download | inter-52b14159b77a30c6591cd4cc7eceed6d07da6f51.tar.xz |
makefile: cleanup
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 19 |
1 files changed, 2 insertions, 17 deletions
@@ -140,6 +140,7 @@ zip: ${ZIP_FILE_DEV} zip_dist: pre_dist test ${ZIP_FILE_DIST} .PHONY: zip zip_dist +# distribution pre_dist: @echo "Creating distribution for version ${VERSION}" @if [ -f "${ZIP_FILE_DIST}" ]; \ @@ -147,22 +148,6 @@ pre_dist: exit 1; \ fi -# foo_dist: | foo_zip_dist foo_docs_info foo_docs_fonts -# @echo dist - -# foo_zip_dist: -# @echo zip_dist start -# @sleep 1 -# @echo zip_dist done - -# foo_docs_info: -# @echo docs_info - -# foo_docs_fonts: -# @echo docs_fonts - -# .PHONY: foo_dist foo_zip_dist foo_docs_info foo_docs_fonts - dist: zip_dist docs_info docs_fonts # $(MAKE) docs_info docs_fonts -j misc/tools/versionize-css.py @@ -175,7 +160,7 @@ dist: zip_dist docs_info docs_fonts @echo "2) Create new release with ${ZIP_FILE_DIST} at" @echo " https://github.com/rsms/inter/releases/new?tag=v${VERSION}" @echo "" - @echo "3) Bump version in src/fontbuild.cfg and commit" + @echo "3) Bump version in version.txt (to the next future version)" @echo "" @echo "——————————————————————————————————————————————————————————————————" |