diff options
| author | Christophe Nanteuil <35002064+christopheNan@users.noreply.github.com> | 2022-02-06 10:22:06 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-06 10:22:06 (GMT) |
| commit | f1e29cea8516d04c16d94bcb7bf24d4e2d32ffce (patch) | |
| tree | 5cc304793bb60aa643d9795b37b7ec5c97576af0 /Doc | |
| parent | 96b344c2f15cb09251018f57f19643fe20637392 (diff) | |
| download | cpython-f1e29cea8516d04c16d94bcb7bf24d4e2d32ffce.zip cpython-f1e29cea8516d04c16d94bcb7bf24d4e2d32ffce.tar.gz cpython-f1e29cea8516d04c16d94bcb7bf24d4e2d32ffce.tar.bz2 | |
Allows to specify the port on which serve documentation (GH-31145)
[user@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@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
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 19ddafc..e60aa34 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. |