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 ""