From 94e335d474975c6746203cda8b86175ab25005f9 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Mon, 27 May 2024 08:44:52 +0300
Subject: [PATCH 1/3] Infra: define port for htmllive to avoid collisions

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

diff --git a/Makefile b/Makefile
index 6ed81ca8bae..5e9bcbfbec3 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,7 @@ htmlview: html
 ## htmllive       to rebuild and reload HTML files in your browser
 .PHONY: htmllive
 htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild
-htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/" --open-browser --delay 0
+htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/" --open-browser --delay 0 --port 65121
 htmllive: html
 
 ## dirhtml        to render PEPs to "index.html" files within "pep-NNNN" directories

From 468c0dcb729647c099f4750566bd5693404aacda Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Mon, 27 May 2024 09:01:37 +0300
Subject: [PATCH 2/3] Infra: use Sphinx long options

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 5e9bcbfbec3..588da081d7e 100644
--- a/Makefile
+++ b/Makefile
@@ -9,10 +9,10 @@ SPHINXBUILD  = PATH=$(VENVDIR)/bin:$$PATH sphinx-build
 BUILDER      = html
 JOBS         = auto
 SOURCES      =
-SPHINXERRORHANDLING = -W --keep-going -w sphinx-warnings.txt
+SPHINXERRORHANDLING = --fail-on-warning --keep-going --warning-file sphinx-warnings.txt
 
-ALLSPHINXOPTS = -b $(BUILDER) \
-                -j $(JOBS) \
+ALLSPHINXOPTS = --builder $(BUILDER) \
+                --jobs $(JOBS) \
                 $(SPHINXOPTS) $(SPHINXERRORHANDLING) \
                 peps $(BUILDDIR) $(SOURCES)
 

From 8bf372286f7810d025b9b78876906131b6a97413 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Mon, 27 May 2024 17:56:05 +0300
Subject: [PATCH 3/3] Infra: Use similar arbitrary port to devguide

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 588da081d7e..0010e677906 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,9 @@ htmlview: html
 ## htmllive       to rebuild and reload HTML files in your browser
 .PHONY: htmllive
 htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild
-htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/" --open-browser --delay 0 --port 65121
+# Arbitrarily selected ephemeral port between 49152–65535
+# to avoid conflicts with other processes:
+htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/" --open-browser --delay 0 --port 55302
 htmllive: html
 
 ## dirhtml        to render PEPs to "index.html" files within "pep-NNNN" directories