diff options
author | Stéphane Wirtel <stephane@wirtel.be> | 2019-03-18 10:47:55 (GMT) |
---|---|---|
committer | Julien Palard <julien@palard.fr> | 2019-03-18 10:47:55 (GMT) |
commit | 09a9f1799c8c58f573c50cb2d526422436b8658b (patch) | |
tree | 684f046f58cf0d0730d431b3801a3454b270baac /Doc | |
parent | 74ae50e53e59bbe39d6287b902757f0cd01327dc (diff) | |
download | cpython-09a9f1799c8c58f573c50cb2d526422436b8658b.zip cpython-09a9f1799c8c58f573c50cb2d526422436b8658b.tar.gz cpython-09a9f1799c8c58f573c50cb2d526422436b8658b.tar.bz2 |
bpo-36329: Declare the version of Python to use for Tools/scripts/serve.py (#12385)
* bpo-36329: Declare the version of Python to use for Tools/scripts/serve.py
* Add the blurb entry
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 4b85e9e..53877e6 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -174,7 +174,7 @@ check: $(PYTHON) tools/rstlint.py -i tools -i $(VENVDIR) -i README.rst serve: - ../Tools/scripts/serve.py build/html + $(PYTHON) ../Tools/scripts/serve.py build/html # Targets for daily automated doc build # By default, Sphinx only rebuilds pages where the page content has changed. |