diff options
Diffstat (limited to 'docs/make.bat')
| -rw-r--r-- | docs/make.bat | 28 |
1 files changed, 22 insertions, 6 deletions
diff --git a/docs/make.bat b/docs/make.bat index 72d71136c2..8376db57f0 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -189,20 +189,36 @@ results in %BUILDDIR%/doctest/output.txt. ) 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. + call :run_spelling goto end ) if "%1" == "black" ( + call :run_black + goto end +) + +if "%1" == "check" ( + call :run_black + call :run_spelling + echo. + echo.All checks completed. + goto end +) + +:run_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. + exit /b + +:run_black for /f "usebackq tokens=*" %%i in (`dir *.txt /s /b ^| findstr /v /c:"_build" /c:"_theme"`) do ( blacken-docs --rst-literal-block %%i ) echo. echo.Code blocks reformatted -) + exit /b :end |