diff --git a/Doc/Makefile b/Doc/Makefile
index 84578c5c57f478..f6f4c721080c42 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -184,7 +184,7 @@ venv:
 	fi
 
 .PHONY: dist-no-html
-dist-no-html: dist-text dist-pdf dist-epub dist-texinfo
+dist-no-html: dist-text dist-epub dist-texinfo
 
 .PHONY: dist
 dist: