Add source links to GitHub repo

eidorb · May 24, 2024 · 20a22c3 · 20a22c3
1 parent 1a411ec
commit 20a22c3
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/brodie.id.au/conf.py b/brodie.id.au/conf.py
@@ -48,6 +48,15 @@
 #
 html_theme = "sphinx_book_theme"
 
+html_theme_options = {
+    # https://sphinx-book-theme.readthedocs.io/en/latest/components/source-files.html#set-your-source-repository
+    "repository_url": "https://github.com/eidorb/brodie.id.au",
+    # https://sphinx-book-theme.readthedocs.io/en/latest/components/source-files.html#add-a-button-to-the-page-source
+    "use_source_button": True,
+    "repository_branch": "master",
+    "path_to_docs": "brodie.id.au",
+}
+
 # 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".

diff --git a/brodie.id.au/index.md b/brodie.id.au/index.md
@@ -1,4 +1,4 @@
-# My website
+# brodie.id.au
 
 This is my website.