From 353ffa63bb50d16965fd907b495262862bfb015f Mon Sep 17 00:00:00 2001
From: Carl Gay <carlgay@gmail.com>
Date: Sun, 19 May 2024 01:52:35 -0400
Subject: [PATCH] doc: fix "edit source" widget

fixes https://github.com/dylan-lang/website/issues/148
---
 documentation/source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/source/conf.py b/documentation/source/conf.py
index 9aef0a5d7..ff6a3e7da 100644
--- 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'