diff --git a/doc/configuration.txt b/doc/configuration.txt index 463d17275..2407fcb01 100644 --- a/doc/configuration.txt +++ b/doc/configuration.txt @@ -11931,6 +11931,11 @@ resolve-opts