mkRedundantOption: give up on using admonitions

2026-09-02 00:02:36 +01:00
1 parent 24d0ce1550
commit fef3a464ef
@@ -59,14 +59,7 @@
        ${attrs.description}
        \\<div class=admonition-warning>
          \\<p class=admonition-title>
            Redundant
          \\</p>
          \\<p>
        ${mkRedundantOptionDescription name value}
          \\</p>
        \\</div>
      '';
    };
  };