From 270d423bae35c3988db365ade6c56ec1b4f2e2df Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Fri, 18 Jun 2021 14:15:06 -0700
Subject: [PATCH] makefile: remove "display" dep from "dist" target

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 60f4bc167..036484db0 100644
--- a/Makefile
+++ b/Makefile
@@ -381,7 +381,7 @@ dist_check:
 	@echo ""
 	@echo "——————————————————————————————————————————————————————————————————"
 
-dist: dist_zip display
+dist: dist_zip
 	$(MAKE) -j docs
 	@echo "——————————————————————————————————————————————————————————————————"
 	@echo ""