summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRasmus Andersson <rasmus@notion.se>2024-05-24 21:03:04 +0300
committerRasmus Andersson <rasmus@notion.se>2024-05-24 21:05:41 +0300
commit66647c0bbbe41a850d79d9c76fb13add3378940f (patch)
treea29ab466595925600a20da08290d41893c2cdcac /Makefile
parentded4eaca0bf5af25486218c0f3f18919d74de903 (diff)
downloadinter-master.tar.xz
makefile: make sure dist runs googlefonts so that dist_zip_gf succeedHEADmaster
Also adds convenience target dist_gf for making just a gf distribution
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0f38d0bcc..b5227621a 100644
--- a/Makefile
+++ b/Makefile
@@ -444,7 +444,7 @@ dist:
printf "Press ENTER to continue or ^C to cancel " ; read X) || true
@#
$(MAKE) -f $(MAKEFILE) -j$(nproc) clean
- $(MAKE) -f $(MAKEFILE) -j$(nproc) all
+ $(MAKE) -f $(MAKEFILE) -j$(nproc) all googlefonts
$(MAKE) -f $(MAKEFILE) -j$(nproc) test
$(MAKE) -f $(MAKEFILE) -j$(nproc) dist_zip dist_zip_gf dist_docs
$(MAKE) -f $(MAKEFILE) dist_postflight
@@ -455,6 +455,9 @@ dist_zip: | venv
dist_zip_gf: | venv
cd "$(FONTDIR)/googlefonts" && zip -q -X -r "$(DIST_ZIP_GF)" *.ttf
+dist_gf: googlefonts
+ $(MAKE) -f $(MAKEFILE) dist_zip_gf
+
dist_docs:
$(MAKE) -C docs -j$(nproc) dist
@@ -474,6 +477,7 @@ dist_postflight:
@echo "——————————————————————————————————————————————————————————————————"
.PHONY: dist dist_preflight dist_step1 dist_step2 dist_zip dist_docs dist_postflight
+.PHONY: dist_zip_gf dist_gf
# ---------------------------------------------------------------------------------