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