Skip to content

Commit

Permalink
Add Github integration to prepare for RTD injection removal
Browse files Browse the repository at this point in the history
This should also set the edit on github to main, to reduce the number of
PRs to stable
  • Loading branch information
sciencewhiz committed Sep 14, 2024
1 parent ac58bb8 commit 22e9e32
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions source/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 22e9e32

Please sign in to comment.