From 54578090d6f9b04c86f05b8c93f3787c11857d5b Mon Sep 17 00:00:00 2001
From: Tim Pillinger <26465611+wxtim@users.noreply.github.com>
Date: Thu, 25 Jul 2024 12:17:13 +0100
Subject: [PATCH] Docs: re-enable show sourcelink, and have it point to GH
 (#2803)

---
 sphinx/conf.py   | 12 +++++++++---
 sphinx/index.rst |  7 -------
 2 files changed, 9 insertions(+), 10 deletions(-)

diff --git a/sphinx/conf.py b/sphinx/conf.py
index 15894a1c4..7177928c0 100644
--- a/sphinx/conf.py
+++ b/sphinx/conf.py
@@ -128,7 +128,13 @@
 
 
 # -- Options for HTML output ----------------------------------------------
-
+# Make sourcelink point to GH source rather than the raw source.
+html_context = {
+    'display_github': True,
+    'github_user': 'metomi',
+    'github_repo': 'rose',
+    'github_version': 'master/sphinx/',
+}
 html_theme = 'sphinx_rtd_theme'
 # rtd_theme only handles 4 levels for the sidebar navigation.
 html_theme_options = {'navigation_depth': 4}
@@ -186,8 +192,8 @@
 latex_show_pagerefs = True
 # If true, show URL addresses after external links.
 latex_show_urls = 'inline'
-# Don't link RST source page.
-html_show_sourcelink = False
+# Link to RST source page.
+html_show_sourcelink = True
 # Add a custom css file to make tables wrap correctly.
 html_css_files = ['custom.css']
 
diff --git a/sphinx/index.rst b/sphinx/index.rst
index 89f89fc38..546682289 100644
--- a/sphinx/index.rst
+++ b/sphinx/index.rst
@@ -1,10 +1,3 @@
-.. ifnotslides::
-
-   .. raw:: html
-
-      <a href="https://github.com/metomi/rose"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://camo.githubusercontent.com/365986a132ccd6a44c23a9169022c0b5c890c387/68747470733a2f2f73332e616d617a6f6e6177732e636f6d2f6769746875622f726962626f6e732f666f726b6d655f72696768745f7265645f6161303030302e706e67" alt="Fork me on GitHub" data-canonical-src="https://s3.amazonaws.com/github/ribbons/forkme_right_red_aa0000.png"></a>
-
-
 Rose Documentation
 ==================