config.lib
changeset 9707 55728bd4d33e
parent 9697 75fa79151fc3
child 9724 ffff7f3fcd47
--- a/config.lib	Thu Jul 24 18:29:01 2008 +0000
+++ b/config.lib	Thu Jul 24 20:29:40 2008 +0000
@@ -214,7 +214,7 @@
 			--without-menu-entry)         menu_dir="";;
 
 			--man-dir)                    prevp_p="man_dir";;
-			--man-dir=*)                  menu_dir="$optarg";;
+			--man-dir=*)                  man_dir="$optarg";;
 
 			--personal-dir)               prevp_p="personal-dir";;
 			--personal-dir=*)             personal_dir="$optarg";;