[Python-checkins] devguide: Issue #23951: Clean up rstlint makefile integration
zach.ware
python-checkins at python.org
Thu Jul 21 11:36:17 EDT 2016
https://hg.python.org/devguide/rev/0f642c1ba901
changeset: 821:0f642c1ba901
user: Zachary Ware <zachary.ware at gmail.com>
date: Thu Jul 21 10:35:23 2016 -0500
summary:
Issue #23951: Clean up rstlint makefile integration
files:
Makefile | 4 +++-
make.bat | 14 ++++----------
2 files changed, 7 insertions(+), 11 deletions(-)
diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,7 @@
#
# You can set these variables from the command line.
+PYTHON = python3
SPHINXOPTS =
SPHINXBUILD = sphinx-build
PAPER =
@@ -12,7 +13,8 @@
PAPEROPT_letter = -D latex_paper_size=letter
ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
-.PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest
+.PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp \
+ devhelp epub latex latexpdf text man changes linkcheck doctest check
help:
@echo "Please use \`make <target>' where <target> is one of"
diff --git a/make.bat b/make.bat
--- a/make.bat
+++ b/make.bat
@@ -2,6 +2,9 @@
REM Command file for Sphinx documentation
+if "%PYTHON%" == "" (
+ set PYTHON=py -3
+)
if "%SPHINXBUILD%" == "" (
set SPHINXBUILD=sphinx-build
)
@@ -169,17 +172,8 @@
goto end
)
-if "%1" == "rstlint" (
- %SPHINXBUILD% -b rstlint %ALLSPHINXOPTS% %BUILDDIR%/rstlint
- if errorlevel 1 exit /b 1
- echo.
- echo.Testing of rst and py files in the documentation finished, look at the ^
-results in %BUILDDIR%/rstlint/output.txt.
- goto end
-)
-
:check
-cmd /C %PYTHON% tools\rstlint.py -i tools
+cmd /C %PYTHON% tools\rstlint.py -i tools -i venv
goto end
:end
--
Repository URL: https://hg.python.org/devguide
More information about the Python-checkins
mailing list