diff -r dd079aa41896 -r dc3599ef2d6d config.lib --- 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