From 97b9a4c0954e9f1f2ca30803379686f81d0e07bf Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 21 Mar 2025 10:26:13 +1300
Subject: [PATCH] cmd_documenter: Fix option_spec

Need to copy parent class `option_spec` to retain default options (e.g. `:noindex:`).
---
 docs/util/cmd_documenter.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/util/cmd_documenter.py b/docs/util/cmd_documenter.py
index 52f3d2cf4..2b93772e8 100644
--- a/docs/util/cmd_documenter.py
+++ b/docs/util/cmd_documenter.py
@@ -82,12 +82,13 @@ class YosysCmdGroupDocumenter(Documenter):
     object: tuple[str, list[str]]
     lib_key = 'groups'
 
-    option_spec = {
+    option_spec = Documenter.option_spec.copy()
+    option_spec.update({
         'caption': autodoc.annotation_option,
         'members': autodoc.members_option,
         'source': autodoc.bool_option,
         'linenos': autodoc.bool_option,
-    }
+    })
 
     __cmd_lib: dict[str, list[str] | dict[str]] | None = None
     @property