Only update manpages if dir exists

This commit is contained in:
Ben Gras 2006-04-04 16:15:00 +00:00
parent 7a1853a524
commit 0787908d1b

View file

@ -45,7 +45,8 @@ then
rm -f $PI rm -f $PI
fi fi
makewhatis /usr/man for d in /usr/man /usr/local/man /usr/gnu/man /usr/X11R6/man
makewhatis /usr/local/man do if [ -d "$d" ]
makewhatis /usr/gnu/man then makewhatis $d
makewhatis /usr/X11R6/man fi
done