mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-27 06:27:57 +00:00
Code Activity

Docs: Update cmdref domain

Browse source 
Compatible with `dump_cmds_json`.
This commit is contained in:
Krystine Sherwin 2025-07-21 10:34:12 +12:00
parent fe2be07bc8
commit a19f0103ff
No known key found for this signature in database
2 changed files with 50 additions and 81 deletions
Download patch file Download diff file Expand all files Collapse all files

5
docs/util/cmdref.py
View file

@ -162,8 +162,9 @@ class CommandOptionGroupNode(TocNode):
except ValueError:
cmd, name = '', sig
signode['fullname'] = sig
signode['tocname'] = name
signode += addnodes.desc_name(text=name)
if name:
signode['tocname'] = name
signode += addnodes.desc_name(text=name)
return signode['fullname']
def add_target_and_index(