From 5a8f6e133be942a98db26e483c2c4aef64458097 Mon Sep 17 00:00:00 2001
From: Mridul Seth <git@mriduls.com>
Date: Mon, 24 Jul 2023 15:07:16 +0400
Subject: [PATCH] add edit buttons

---
 Documentation/conf.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Documentation/conf.py b/Documentation/conf.py
index a8fdba6c4..b79e240eb 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -63,6 +63,7 @@
 html_theme = "pydata_sphinx_theme"
 
 html_theme_options = {
+    "use_edit_page_button": True,
     "icon_links": [
         {
             "name": "GitHub",
@@ -92,6 +93,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"