diff options
Diffstat (limited to 'check')
-rwxr-xr-x | check/man | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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" |