diff options
Diffstat (limited to 'check')
-rwxr-xr-x | check/man | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -35,12 +35,12 @@ comm -13 "$td"/bin "$td"/man > "$td"/nobin # Emit the content of both, if any ex=0 if [ -s "$td"/noman ] ; then - printf >&2 '%s\n' 'No manual pages found for:' + printf >&2 'No manual pages found for:\n' cat >&2 -- "$td"/noman ex=1 fi if [ -s "$td"/nobin ] ; then - printf >&2 '%s\n' 'Stray manual page for:' + printf >&2 'Stray manual page for:\n' cat >&2 -- "$td"/nobin ex=1 fi |