mirror of https://github.com/django/django.git
[3.2.x] Added spelling option to make.bat.
Backport of 7582d913e7
from main
This commit is contained in:
parent
ce130749d5
commit
8e1900d4f3
|
@ -34,6 +34,7 @@ if "%1" == "help" (
|
|||
echo. changes to make an overview over all changed/added/deprecated items
|
||||
echo. linkcheck to check all external links for integrity
|
||||
echo. doctest to run all doctests embedded in the documentation if enabled
|
||||
echo. spelling to check for typos in documentation
|
||||
goto end
|
||||
)
|
||||
|
||||
|
@ -186,4 +187,13 @@ results in %BUILDDIR%/doctest/output.txt.
|
|||
goto end
|
||||
)
|
||||
|
||||
if "%1" == "spelling" (
|
||||
%SPHINXBUILD% -b spelling %ALLSPHINXOPTS% %BUILDDIR%/spelling
|
||||
if errorlevel 1 exit /b 1
|
||||
echo.
|
||||
echo.Check finished. Wrong words can be found in %BUILDDIR%/^
|
||||
spelling/output.txt.
|
||||
goto end
|
||||
)
|
||||
|
||||
:end
|
||||
|
|
Loading…
Reference in New Issue