Makefile.lint: cleanups

zeppe-lin · Dec 20, 2023 · 7ff82d3 · 7ff82d3
1 parent 674d267
commit 7ff82d3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Makefile.lint b/Makefile.lint
@@ -26,14 +26,13 @@ deadlinks:
 
 spellcheck:
  @echo "=======> Check man pages for spelling errors"
- @mandoc -T html *.5 *.8 | hunspell -H -l - | sort -u
+ @mandoc -T html *.[1-9] | hunspell -H -l - | sort -u
  @echo "=======> Check README.md for spelling errors"
  @hunspell -l README.md | sort -u
 
 mancheck:
  @echo "=======> Check man pages for syntax errors"
- @find . -not -path '*/.*' -type f -name '*.[1-9]' \
- -exec mandoc -T lint {} +
+ @mandoc -T lint *.[1-9]
 
 shellcheck:
  @echo "=======> Check shell scripts for syntax errors"