From 1a32e7947049936136f5e73f7c28035aebd10bc8 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 19 Apr 2022 21:14:34 +0530 Subject: [PATCH] ... --- docs/conf.py | 2 ++ 1 file changed, 2 insertions(+) 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']