From 5fa70f6e8c0ecad97544e19aba2d5062aa8c3e7a Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Fri, 18 Jun 2021 14:27:19 -0700
Subject: makefile: revert 270d423bae35c3988db365ade6c56ec1b4f2e2df adding back
 display dep to dist

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

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 ""
-- 
cgit v1.2.3