diff options
author | Colin Watson <cjwatson@debian.org> | 2012-06-18 11:25:37 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2012-06-18 11:25:37 +0100 |
commit | 124bd65eb013388ff41ea55aa4080b850eb15e20 (patch) | |
tree | faa5613c1edb0fc1b2f0ffd00be6b86616d2a9e4 /src/whatis.c | |
parent | 8bc8958707fc53929f1f8fc7034406a44d2a3df3 (diff) |
* src/whatis.c (main): Make the global configuration file optional
if a user configuration file was supplied. Fixes test suite.
Diffstat (limited to 'src/whatis.c')
-rw-r--r-- | src/whatis.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/whatis.c b/src/whatis.c index 4c281e6d..98a46cde 100644 --- a/src/whatis.c +++ b/src/whatis.c @@ -925,6 +925,8 @@ int main (int argc, char *argv[]) 0, 0, 0)) exit (FAIL); + read_config_file (user_config_file != NULL); + /* close this locale and reinitialise if a new locale was issued as an argument or in $MANOPT */ if (locale) { |