author | glx |
Thu, 24 Jul 2008 20:29:40 +0000 | |
changeset 9707 | 55728bd4d33e |
parent 9706 | 1afd96cc2be6 |
child 9708 | 1b0c04ba1d9a |
config.lib | file | annotate | diff | comparison | revisions |
--- 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";;