From 0c61f1a9a8a6148a7b7642d3784948411a0afb09 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 20 Jan 2025 16:30:30 +1300
Subject: [PATCH] conf.py: Fix source_directory
---
docs/source/conf.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 0e2f79a56..de0b9cf4d 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -14,7 +14,7 @@ html_css_files = ['custom.css']
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