diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 9935ad09e5..78cbccd00e 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -51,6 +51,7 @@ 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" clean: @@ -175,6 +176,11 @@ black: @echo @echo "Code blocks reformatted" +lint: + $(PYTHON) lint.py + @echo + @echo "Documentation lint complete." + check: spelling black @echo @echo "Style and spelling checks completed." |