mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-08 23:23:25 +00:00
Code Activity

Docs: Bugpoint fixups from JF

Browse source 
Also dropping the `autosectionlabel_maxdepth = 1` so that I can actually use the auto section labels.
Adds warning on bash substitution on scripting intro page when talking about `yosys -p`.
This commit is contained in:
Krystine Sherwin 2025-03-18 14:55:41 +13:00
parent b986180057
commit c705193fd4
No known key found for this signature in database
4 changed files with 74 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

1
docs/source/conf.py
View file

@ -64,7 +64,6 @@ if os.getenv("READTHEDOCS"):
# Ensure that autosectionlabel will produce unique names
autosectionlabel_prefix_document = True
autosectionlabel_maxdepth = 1
# include todos for previews
extensions.append('sphinx.ext.todo')