diff options
| -rw-r--r-- | Doc/Makefile | 2 | ||||
| -rw-r--r-- | Misc/NEWS.d/next/Documentation/2019-03-17-20-01-41.bpo-36329.L5dJPD.rst | 3 |
2 files changed, 4 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. diff --git a/Misc/NEWS.d/next/Documentation/2019-03-17-20-01-41.bpo-36329.L5dJPD.rst b/Misc/NEWS.d/next/Documentation/2019-03-17-20-01-41.bpo-36329.L5dJPD.rst new file mode 100644 index 0000000..94e5884 --- /dev/null +++ b/Misc/NEWS.d/next/Documentation/2019-03-17-20-01-41.bpo-36329.L5dJPD.rst @@ -0,0 +1,3 @@ +Declare the path of the Python binary for the usage of +``Tools/scripts/serve.py`` when executing ``make -C Doc/ serve``. +Contributed by Stéphane Wirtel |