[Python-checkins] Allows to specify the port on which serve documentation (GH-31145)
JulienPalard
webhook-mailer at python.org
Sun Feb 6 05:22:33 EST 2022
https://github.com/python/cpython/commit/f1e29cea8516d04c16d94bcb7bf24d4e2d32ffce
commit: f1e29cea8516d04c16d94bcb7bf24d4e2d32ffce
branch: main
author: Christophe Nanteuil <35002064+christopheNan at users.noreply.github.com>
committer: JulienPalard <julien at palard.fr>
date: 2022-02-06T11:22:06+01:00
summary:
Allows to specify the port on which serve documentation (GH-31145)
[user at localhost]$ make serve # default configuration, no change
python3 ../Tools/scripts/serve.py build/html
Serving build/html on port 8000, control-C to stop
^CShutting down.
[user at localhost]$ make serve SERVE_PORT=8080 # new option
python3 ../Tools/scripts/serve.py build/html 8080
Serving build/html on port 8080, control-C to stop
files:
M Doc/Makefile
diff --git a/Doc/Makefile b/Doc/Makefile
index 19ddafc5f2f9f..e60aa3427fea2 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -12,6 +12,7 @@ PAPER =
SOURCES =
DISTVERSION = $(shell $(PYTHON) tools/extensions/patchlevel.py)
SPHINXERRORHANDLING = -W
+SERVE_PORT =
# Internal variables.
PAPEROPT_a4 = -D latex_elements.papersize=a4paper
@@ -217,7 +218,7 @@ check:
$(PYTHON) tools/rstlint.py ../Misc/NEWS.d/next/
serve:
- $(PYTHON) ../Tools/scripts/serve.py build/html
+ $(PYTHON) ../Tools/scripts/serve.py build/html $(SERVE_PORT)
# Targets for daily automated doc build
# By default, Sphinx only rebuilds pages where the page content has changed.
More information about the Python-checkins
mailing list