diff --git a/docs/conf.py b/docs/conf.py index fd246280f..a5cf3d6ed 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -303,6 +303,7 @@ def write_remote_control_protocol_docs() -> None: # {{{ format_cmd(p, name, cmd) # }}} + def replace_string(app: Any, docname: str, source: List[str]) -> None: # {{{ src = source[0] for k, v in app.config.string_replacements.items(): @@ -312,6 +313,7 @@ def replace_string(app: Any, docname: str, source: List[str]) -> None: # {{{ # config file docs {{{ + class ConfLexer(RegexLexer): # type: ignore name = 'Conf' aliases = ['conf']