From ce25b4683d6723fd31536c10117d516f4b9e7cf8 Mon Sep 17 00:00:00 2001 From: Adam Turner <9087854+AA-Turner@users.noreply.github.com> Date: Tue, 7 Oct 2025 13:29:18 +0100 Subject: [PATCH] gh-139436: Remove ``dist-pdf`` from the docs archives rebuild target (GH-139437) (cherry picked from commit 0e2cdd313ba5c67c5e2e21d993399b890e687c63) Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com> --- Doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: