diff options
| -rwxr-xr-x | unix/installManPage | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/installManPage b/unix/installManPage index e636db7..6bdccf0 100755 --- a/unix/installManPage +++ b/unix/installManPage @@ -75,7 +75,7 @@ Names=`sed -n ' p;q }' $ManPage` -if test -z $Names ; then +if test -z "$Names" ; then echo "warning: no target names found in $ManPage" fi |