diff options
| author | Susan Wright <swright573@icloud.com> | 2021-04-30 08:04:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-30 14:04:22 +0200 |
| commit | 7582d913e7db7f32e4cdcfafc177aa77cbbf4332 (patch) | |
| tree | b0b347baefc0d19afc44fbc139a35804c1776471 | |
| parent | 1f643c28b5f2b039c47155692844dbae1cb091cd (diff) | |
Added spelling option to make.bat.
| -rw-r--r-- | docs/make.bat | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/make.bat b/docs/make.bat index 65602aa160..4743692ca3 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -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 |