From 200cffe4ee86e6355423d891a30ff43a37da0500 Mon Sep 17 00:00:00 2001 From: Johannes Kirschbauer Date: Wed, 20 Nov 2024 12:25:04 +0100 Subject: [PATCH] Docs/modules: add missing heading for empty role options --- docs/nix/render_options/__init__.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/nix/render_options/__init__.py b/docs/nix/render_options/__init__.py index 10644ab73..535f7800f 100644 --- a/docs/nix/render_options/__init__.py +++ b/docs/nix/render_options/__init__.py @@ -431,7 +431,10 @@ def produce_clan_modules_docs() -> None: ) exit(1) - no_options = f"**The `{module_name}` `{role}` doesnt offer / require any options to be set.**\n\n" + no_options = f"""### Options of `{role}` role + +**The `{module_name}` `{role}` doesnt offer / require any options to be set.** +""" heading = f"""### Options of `{role}` role