From c41a0c029072db131fad470171114901d56b49f8 Mon Sep 17 00:00:00 2001 From: pagedown Date: Fri, 10 Feb 2023 12:44:10 +0800 Subject: [PATCH] Docs: Generate commented default configuration files Provides the same sample config files as the locally generated ones. --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 16ef36e23..07dee1ba1 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -508,7 +508,7 @@ def write_conf_docs(app: Any, all_kitten_names: Iterable[str]) -> None: conf_name = re.sub(r'^kitten-', '', name) + '.conf' with open(f'generated/conf/{conf_name}', 'w', encoding='utf-8') as f: - text = '\n'.join(definition.as_conf()) + text = '\n'.join(definition.as_conf(commented=True)) print(text, file=f) from kitty.options.definition import definition