diff options
Diffstat (limited to 'docs/make.bat')
| -rw-r--r-- | docs/make.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/make.bat b/docs/make.bat index 27e3c1143d..5c06278972 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -205,6 +205,7 @@ if "%1" == "lint" ( ) if "%1" == "check" ( + call :run_lint call :run_black call :run_spelling echo. |