add lint target for make

2023-05-20 15:33:00 -04:00 · 2023-05-20 15:33:00 -04:00 · d137af65e5
parent 881d5a08ba
commit d137af65e5
1 changed files with 3 additions and 0 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -12,6 +12,9 @@ BUILDDIR      = _build
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

+lint:
+	markdownlint **/*.md
+
 .PHONY: help Makefile

 # Catch-all target: route all unknown targets to Sphinx using the new