config.lib
changeset 9695 dc3599ef2d6d
parent 9694 dd079aa41896
child 9696 6c2a8e420ec8
--- a/config.lib	Wed Jul 23 15:37:20 2008 +0000
+++ b/config.lib	Wed Jul 23 15:52:53 2008 +0000
@@ -878,7 +878,7 @@
 
 	if [ "$man_dir" = "1" ]; then
 		# add manpage on UNIX systems
-		if [ "$os" = "UNIX" ] || [ "$os" = "FREEBSD" ] || [ "$os" = "OPENBSD" ] || [ "$os" = "NETBSD" ] || [ "$os" = "HPUX" ] || [ "$os" = "SUNOS" ] || [ "$os" = "OSX"]; then
+		if [ "$os" = "UNIX" ] || [ "$os" = "FREEBSD" ] || [ "$os" = "OPENBSD" ] || [ "$os" = "NETBSD" ] || [ "$os" = "HPUX" ] || [ "$os" = "SUNOS" ] || [ "$os" = "OSX" ]; then
 			man_dir="share/man/man6"
 		else
 			man_dir=""
@@ -924,7 +924,7 @@
 
 	if [ -n "$man_dir" ]
 	then
-		log 1 "manual page directory... $mean_dir"
+		log 1 "manual page directory... $man_dir"
 	else
 		log 1 "manual page directory... none"
 	fi