misc/check-doc.sh: run mandoc -Tlint -Wall on the manpages

diff --git a/misc/check-doc.sh b/misc/check-doc.sh
index 73b169a1ac9f74bc25500accd44a97fd02601982..e5ffdee295789318ff33238c8b26df5e0eae0b5c 100755 (executable)
--- a/misc/check-doc.sh
+++ b/misc/check-doc.sh
@@ -41,3 +41,5 @@ check_opt() {
 check_opt FLAGS f
 check_opt WARNS W
 check_opt OPTIMIZATIONS O
 check_opt FLAGS f
 check_opt WARNS W
 check_opt OPTIMIZATIONS O

+
+for i in doc/*.1; do mandoc -Tlint -Wall "$i"; done