From 96a93e00aa0613f02f851e7638106b7dd1e8d502 Mon Sep 17 00:00:00 2001
From: Will <tekulvw@users.noreply.github.com>
Date: Fri, 11 Aug 2017 21:51:17 -0400
Subject: [PATCH] Fix Edit on Github button (#904)

---
 docs/conf.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index 076a8d596..0e1748a82 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -96,6 +96,14 @@ html_theme = 'sphinx_rtd_theme'
 #
 # html_theme_options = {}
 
+html_context = {
+    # Enable the "Edit in GitHub link within the header of each page.
+    'display_github': True,
+    'github_user': 'Cog-Creators',
+    'github_repo': 'Red-DiscordBot',
+    'github_version': 'V3/develop/docs/'
+}
+
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".