doc: fix "edit source" widget

fixes dylan-lang/website#148
dylan-lang · May 19, 2024 · 353ffa6 · 353ffa6
1 parent 1a8279b
commit 353ffa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/documentation/source/conf.py b/documentation/source/conf.py
@@ -45,7 +45,7 @@
     # https://pradyunsg.me/furo/customisation/edit-button/
     'source_repository': 'https://github.com/dylan-lang/opendylan',
     'source_branch': 'master',
-    'source_directory': 'source/',
+    'source_directory': 'documentation/source',
 }
 html_theme_path = ['_themes']   # still needed? add furo submodule here?
 html_title = 'Open Dylan'