diff options
| author | glx <glx@openttd.org> | 2008-07-24 20:29:40 +0000 |
|---|---|---|
| committer | glx <glx@openttd.org> | 2008-07-24 20:29:40 +0000 |
| commit | 679a6db391789ffacfa2f918549e505e1a152343 (patch) | |
| tree | f07d61b88515dc9f45fc163610c21016b2daa51e | |
| parent | b98deeb5cc36f2fd7b158d0ac0beda583c41ddd9 (diff) | |
| download | openttd-679a6db391789ffacfa2f918549e505e1a152343.tar.xz | |
(svn r13819) -Fix (r13801): --man-dir=xxx was 'ignored'
| -rw-r--r-- | config.lib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.lib b/config.lib index 1a0243fa5..4f0d4a826 100644 --- a/config.lib +++ b/config.lib @@ -214,7 +214,7 @@ detect_params() { --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";; |