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";;