Added spelling option to make.bat.

This commit is contained in:
Susan Wright 2021-04-30 08:04:22 -04:00 committed by GitHub
parent 1f643c28b5
commit 7582d913e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions

View File

@ -34,6 +34,7 @@ if "%1" == "help" (
echo. changes to make an overview over all changed/added/deprecated items echo. changes to make an overview over all changed/added/deprecated items
echo. linkcheck to check all external links for integrity echo. linkcheck to check all external links for integrity
echo. doctest to run all doctests embedded in the documentation if enabled echo. doctest to run all doctests embedded in the documentation if enabled
echo. spelling to check for typos in documentation
goto end goto end
) )
@ -186,4 +187,13 @@ results in %BUILDDIR%/doctest/output.txt.
goto end 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 :end