diff options
author | Robert Hensing <robert@roberthensing.nl> | 2022-06-27 17:32:48 +0200 |
---|---|---|
committer | Robert Hensing <robert@roberthensing.nl> | 2022-06-27 17:41:32 +0200 |
commit | 8bff3fef401ed3ead39fd42bd581590ed863026e (patch) | |
tree | 96d9a7b7cd6777767e1b3689ee4d4969a463c1de /nixos | |
parent | e04aa1bcd9050ff705b2cb410f6de9520c763b0c (diff) |
nixos/make-options-doc: Support block quotes
Our tooling would trip without the inner <para>, despite the docbook docs suggesting that <para> occurs in <blockquote> and vice versa.
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/lib/make-options-doc/mergeJSON.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nixos/lib/make-options-doc/mergeJSON.py b/nixos/lib/make-options-doc/mergeJSON.py index c884a671f53b8..5f70d07ce4ad8 100644 --- a/nixos/lib/make-options-doc/mergeJSON.py +++ b/nixos/lib/make-options-doc/mergeJSON.py @@ -104,6 +104,8 @@ def convertMD(options: Dict[str, Any]) -> str: # a single paragraph and the original docbook string is no longer # available to restore the trailer. return f"<{tag}><para>{text.rstrip()}</para></{tag}>" + def block_quote(self, text): + return f"<blockquote><para>{text}</para></blockquote>" def command(self, text): return f"<command>{escape(text)}</command>" def option(self, text): |