add edit buttons (#1318)

econ-ark · Jul 24, 2023 · 5e97dad · 5e97dad
1 parent af2054a
commit 5e97dad
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/Documentation/conf.py b/Documentation/conf.py
@@ -64,6 +64,7 @@
 html_theme = "pydata_sphinx_theme"
 
 html_theme_options = {
+    "use_edit_page_button": True,
     "icon_links": [
         {
             "name": "GitHub",
@@ -93,6 +94,15 @@
     ]
 }
 
+# Point to Econ-ARK repo for edit buttons
+html_context = {
+    "github_url": "https://github.com",
+    "github_user": "econ-ark",
+    "github_repo": "hark",
+    "github_version": "master",
+    "doc_path": "Documentation/",
+}
+
 # Use Econ-ARK URL to host the website
 html_baseurl = "https://docs.econ-ark.org"