diff options
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 "——————————————————————————————————————————————————————————————————" |