]> Zhao Yanbai Git Server - minix.git/commitdiff
Only update manpages if dir exists
authorBen Gras <ben@minix3.org>
Tue, 4 Apr 2006 16:15:00 +0000 (16:15 +0000)
committerBen Gras <ben@minix3.org>
Tue, 4 Apr 2006 16:15:00 +0000 (16:15 +0000)
commands/scripts/packit.sh

index 3d52c94a128e49d3785f827f76e3e5b56ba29f92..9c27d8f0a6059354f2874d9d2259945f941563c5 100644 (file)
@@ -45,7 +45,8 @@ then
        rm -f $PI
 fi
 
-makewhatis /usr/man
-makewhatis /usr/local/man
-makewhatis /usr/gnu/man
-makewhatis /usr/X11R6/man
+for d in /usr/man /usr/local/man /usr/gnu/man /usr/X11R6/man
+do     if [ -d "$d" ]
+       then makewhatis $d
+       fi
+done