mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 16:45:32 +00:00
Code Activity

Docs: Don't force READTHEDOCS on local

Browse source 
readthedocs detection should only trigger on actual readthedocs builds.
This commit is contained in:
Krystine Sherwin 2025-03-21 10:26:12 +13:00
parent 024bfcdc53
commit 598b41406c
No known key found for this signature in database
1 changed files with 8 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

15
docs/source/conf.py
View file

@ -18,13 +18,14 @@ html_theme_options: dict[str] = {
}
# try to fix the readthedocs detection
html_context: dict[str] = {
"READTHEDOCS": True,
"display_github": True,
"github_user": "YosysHQ",
"github_repo": "yosys",
"slug": "yosys",
}
if os.getenv("READTHEDOCS"):
html_context: dict[str] = {
"READTHEDOCS": True,
"display_github": True,
"github_user": "YosysHQ",
"github_repo": "yosys",
"slug": "yosys",
}
# override source_branch if not main
git_slug = os.getenv("READTHEDOCS_VERSION_NAME")