doc: Fix database name in server manual page.
[paraslash.git] / ggo / config_file.m4
1 <qu>
2 option "config_file" c
3 #~~~~~~~~~~~~~~~~~~~~~
4 "(default='</qu>DEFAULT_CONFIG_FILE<qu>')"
5 string typestr="filename"
6 optional
7 details="
8 </qu>CURRENT_PROGRAM<qu> reads its config file right after parsing
9 the options that were given at the command line. If an
10 option is given both at the command line and in the
11 config file, the value that was specified at the command line
12 takes precedence.
13 "
14 </qu>