diff --git a/doc/misc/options b/doc/misc/options index 7c84fcc4f5..bd6e8c12cd 100644 --- a/doc/misc/options +++ b/doc/misc/options @@ -100,7 +100,7 @@ include Yes key Yes -logging No +logging Yes controls No