From d137af65e5b770812388dce4282da0d7b570a7ae Mon Sep 17 00:00:00 2001
From: burnettk <burnettk@users.noreply.github.com>
Date: Sat, 20 May 2023 15:33:00 -0400
Subject: [PATCH] add lint target for make

---
 docs/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/Makefile b/docs/Makefile
index d4bb2cbb9..5dd2db102 100644
--- 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