diff options
| author | David Smith <smithdc@gmail.com> | 2025-06-02 08:22:08 +0100 |
|---|---|---|
| committer | nessita <124304+nessita@users.noreply.github.com> | 2025-08-25 10:51:10 -0300 |
| commit | 43e4d0a1422d87cc804097f7eb127b6ffa07e840 (patch) | |
| tree | 7a559d75c990963a272c8546022ee4d84924f968 /docs/make.bat | |
| parent | f81e6e3a53ee36e3f730a71aa55a5744982dd016 (diff) | |
Fixed #36485 -- Added lint-docs check in Tox and GitHub Actions.
The `check` docs target now runs spelling, black, and lint, so all
current documentation quality checks can be run with a single command.
Also documented the lint-docs check's availability and usage.
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. |