From 5c34f16ab402f7b6d22f176f869704bb517ffd34 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Wed, 19 Oct 2022 07:45:27 +0530 Subject: [PATCH] Fix #5600 --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 57eeef2b7..a6cfa49e2 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -277,7 +277,7 @@ def write_remote_control_protocol_docs() -> None: # {{{ from kitty.rc.base import ( RemoteCommand, all_command_names, command_for_name ) - field_pat = re.compile(r'\s*([a-zA-Z0-9_+/]+)\s*:\s*(.+)') + field_pat = re.compile(r'\s*([^:]+?)\s*:\s*(.+)') def format_cmd(p: Callable[..., None], name: str, cmd: RemoteCommand) -> None: p(name)