Define a flint make target

e1162cdd · Nils Goroll · ea993433 · e1162cdd
Unverified Commit e1162cdd authored Jan 05, 2024 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

Makefile.am src/Makefile.am +7 -0

No files found.
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -113,3 +113,10 @@ dist_man_MANS = \

 .rst.1:
 	$(AM_V_GEN) $(RST2MAN) $< $@
+
+# Linting
+
+.PHONY: flint
+
+flint:
+	bash flint.sh