Merge pull request #84 from ISISComputingGroup/add_edit_on_github_button

Add 'edit on github' button in corner of docs page

Author: Tom-Willemsen

doc/conf.py

@@ -47,10 +47,17 @@
 templates_path = ["_templates"]
 exclude_patterns = ["_build", "Thumbs.db", ".DS_Store"]
 
-
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
+html_context = {
+    "display_github": True,  # Integrate GitHub
+    "github_user": "ISISComputingGroup",  # Username
+    "github_repo": "ibex_bluesky_core",  # Repo name
+    "github_version": "main",  # Version
+    "conf_py_path": "/doc/",  # Path in the checkout to the docs root
+}
+
 html_theme = "sphinx_rtd_theme"
 html_logo = "logo.png"
 html_theme_options = {