diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-17 15:25:31 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-17 15:25:31 +1200 |
commit | 6ef0bebf4a1c9a2072c5c33d5d9a93e0e0bb3c35 (patch) | |
tree | d3cc1a976a64251ef510872c422da9b137e58880 | |
parent | Change rndn(6) to POSIX sh (diff) | |
download | dotfiles-6ef0bebf4a1c9a2072c5c33d5d9a93e0e0bb3c35.tar.gz dotfiles-6ef0bebf4a1c9a2072c5c33d5d9a93e0e0bb3c35.zip |
Simplify a couple of printf calls
-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 |