diff --git a/docs/source/conf.py b/docs/source/conf.py index 0e2f79a565d..de0b9cf4ddf 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -14,7 +14,7 @@ html_theme_options: dict[str] = { "source_repository": "https://github.com/YosysHQ/yosys/", "source_branch": "main", - "source_directory": "docs/", + "source_directory": "docs/source/", } # try to fix the readthedocs detection