luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
yosys/docs/source/cmd/index_formal.rst

6 lines
65 B
ReStructuredText
Raw Normal View History

Docs: Group commands Removes group parsing from command ref domain, instead relying on a 'groups' object in the cmds.json file. `docs/source/cmd` is no longer ignored or cleaned.
2025-07-21 00:34:13 +02:00
formal
------------------
.. autocmdgroup:: formal
:members: