From 22e9e32a8bca9361f7ffd78ce4eb5b5a7f32b435 Mon Sep 17 00:00:00 2001 From: sciencewhiz Date: Sat, 14 Sep 2024 11:34:08 -0700 Subject: [PATCH] Add Github integration to prepare for RTD injection removal This should also set the edit on github to main, to reduce the number of PRs to stable --- source/conf.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/source/conf.py b/source/conf.py index b58d64385f..35b884c475 100644 --- a/source/conf.py +++ b/source/conf.py @@ -259,6 +259,14 @@ def setup(app): app.add_js_file("js/version-2014.js") +html_context = { + "display_github": True, # Integrate GitHub + "github_user": "wpilibsuite", # Username + "github_repo": "frc-docs", # Repo name + "github_version": "main", # Version + "conf_py_path": "/source/", # Path in the checkout to the docs root +} + # -- Options for latex generation -------------------------------------------- latex_engine = "xelatex"