mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-16 13:58:47 +00:00
Code Activity

cmd_documenter: Fix option_spec

Browse source 
Need to copy parent class `option_spec` to retain default options (e.g. `:noindex:`).
This commit is contained in:
Krystine Sherwin 2025-03-21 10:26:13 +13:00
parent 07b6a35553
commit 97b9a4c095
No known key found for this signature in database
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
docs/util/cmd_documenter.py
View file

@ -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