makefile: remove "display" dep from "dist" target

This commit is contained in:
Rasmus Andersson 2021-06-18 14:15:06 -07:00
parent 1742b35dd7
commit 270d423bae

View file

@ -381,7 +381,7 @@ dist_check:
@echo "" @echo ""
@echo "——————————————————————————————————————————————————————————————————" @echo "——————————————————————————————————————————————————————————————————"
dist: dist_zip display dist: dist_zip
$(MAKE) -j docs $(MAKE) -j docs
@echo "——————————————————————————————————————————————————————————————————" @echo "——————————————————————————————————————————————————————————————————"
@echo "" @echo ""