diff --git a/DOCS/man/input.rst b/DOCS/man/input.rst index 76678c2b3c..11a8f0021f 100644 --- a/DOCS/man/input.rst +++ b/DOCS/man/input.rst @@ -765,6 +765,17 @@ The following hooks are currently defined: ``file-local-options/