diff options
Diffstat (limited to 'check/man.sh')
-rw-r--r-- | check/man.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/check/man.sh b/check/man.sh index 89c03890..9eaff0cf 100644 --- a/check/man.sh +++ b/check/man.sh @@ -41,7 +41,4 @@ if [ -s "$td"/nobin ] ; then fi # Exit appropriately -if [ "$ex" -eq 0 ] ; then - printf 'All scripts have manual pages.\n' -fi exit "$ex" |