From 660a22d647333aa3c48f1ab4b5695b2de8c8296f Mon Sep 17 00:00:00 2001
From: Wolfgang Bumiller <wry.git@bumiller.com>
Date: Wed, 28 Aug 2013 14:33:09 +0200
Subject: [PATCH] misc/check-doc.sh: run mandoc -Tlint -Wall on the manpages

---
 misc/check-doc.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/misc/check-doc.sh b/misc/check-doc.sh
index 73b169a..e5ffdee 100755
--- 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
+
+for i in doc/*.1; do mandoc -Tlint -Wall "$i"; done
-- 
2.39.2