--- src/makewhatis.sh.orig 2003-03-10 14:14:51.000000000 -0600 +++ src/makewhatis.sh 2003-03-13 14:55:22.000000000 -0600 @@ -41,7 +41,7 @@ # and should be first. # It is a bug to add /var/cache/man to DEFCATPATH. dm= -for d in /usr/man /usr/share/man +for d in /usr/share/man do if [ -d $d ]; then if [ x$dm = x ]; then dm=$d; else dm=$dm:$d; fi @@ -49,7 +49,7 @@ done DEFMANPATH=$dm dc= -for d in /usr/man/preformat /usr/man /usr/share/man/preformat /usr/share/man +for d in /usr/share/man/preformat /usr/share/man do if [ -d $d ]; then if [ x$dc = x ]; then dc=$d; else dc=$dc:$d; fi