Docs/modules: add missing heading for empty role options

2024-11-20 12:25:04 +01:00
parent 25e2307ecc
commit 200cffe4ee
1 changed files with 4 additions and 1 deletions
--- 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