summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRasmus Andersson <rasmus@notion.se>2021-06-19 00:27:19 +0300
committerRasmus Andersson <rasmus@notion.se>2021-06-19 00:27:19 +0300
commit5fa70f6e8c0ecad97544e19aba2d5062aa8c3e7a (patch)
treea0c9fdc34f3a45ed743d2921329043c269916f5c
parentc57a2aa4f7d3ebe3e188c2ab3617b925d93e3230 (diff)
downloadinter-3.19.tar.xz
makefile: revert 270d423bae35c3988db365ade6c56ec1b4f2e2df adding back display dep to distv3.19
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 036484db0..4a26a3f15 100644
--- a/Makefile
+++ b/Makefile
@@ -382,6 +382,8 @@ dist_check:
@echo "——————————————————————————————————————————————————————————————————"
dist: dist_zip
+ # Note: "display" dep is here since the "docs" target loosely depends on it
+ $(MAKE) -j8 display
$(MAKE) -j docs
@echo "——————————————————————————————————————————————————————————————————"
@echo ""