diff options
Diffstat (limited to 'docs/make.bat')
| -rw-r--r-- | docs/make.bat | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/make.bat b/docs/make.bat index 8376db57f0..27e3c1143d 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -36,6 +36,7 @@ if "%1" == "help" ( echo. doctest to run all doctests embedded in the documentation if enabled echo. spelling to check for typos in documentation echo. black to apply the black formatting to code blocks in documentation + echo. lint to check for linting errors in documentation goto end ) @@ -198,6 +199,11 @@ if "%1" == "black" ( goto end ) +if "%1" == "lint" ( + call :run_lint + goto end +) + if "%1" == "check" ( call :run_black call :run_spelling @@ -221,4 +227,10 @@ if "%1" == "check" ( echo.Code blocks reformatted exit /b +:run_lint + python lint.py + if errorlevel 1 exit /b 1 + echo. + echo.Documentation lint complete. + :end |