aboutsummaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck/man3
1 files changed, 3 insertions, 0 deletions
diff --git a/check/man b/check/man
index b7adbd5c..802f5b3c 100755
--- a/check/man
+++ b/check/man
@@ -46,4 +46,7 @@ if [ -s "$td"/nobin ] ; then
fi
# Exit appropriately
+if [ "$ex" -eq 0 ] ; then
+ printf 'All scripts have manual pages.\n'
+fi
exit "$ex"