diff --git a/doc/config.html b/doc/config.html index e6b7825f..c8da9d42 100755 --- a/doc/config.html +++ b/doc/config.html @@ -77,6 +77,12 @@ The following options are specific to the [global] section: