diff options
| author | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2015-11-12 12:20:59 +0100 |
|---|---|---|
| committer | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2015-11-12 22:46:51 +0100 |
| commit | 44f6c01d79710b030a8a73c25fe9620b41c8b0e4 (patch) | |
| tree | 675da41270270678b43cbea1022337ce2637af59 /doc/doc-docbook/spec.xfpt | |
| parent | bf3c2c6b76cf8cf582dc2c33bd3d50cd4db25e2c (diff) | |
Add -bP config_file
The -bP configure_file is still supported, but should fade out
eventually. config_file matches better the expansion $config_file.
Diffstat (limited to 'doc/doc-docbook/spec.xfpt')
| -rw-r--r-- | doc/doc-docbook/spec.xfpt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/doc-docbook/spec.xfpt b/doc/doc-docbook/spec.xfpt index b5c07d55d..f32fcbe17 100644 --- a/doc/doc-docbook/spec.xfpt +++ b/doc/doc-docbook/spec.xfpt @@ -3110,8 +3110,9 @@ mysql_servers = <value not displayable> If &%config%& is given as an argument, the config is output, as it was parsed, any include file resolved, any comment removed. -If &%configure_file%& is given as an argument, the name of the run time -configuration file is output. +If &%config_file%& is given as an argument, the name of the run time +configuration file is output. (&%configure_file%& works too, for +backward compatibility.) If a list of configuration files was supplied, the value that is output here is the name of the file that was actually used. |