Merge pull request #517 from fabianp:edit_github

PiperOrigin-RevId: 561943989
google · Sep 1, 2023 · a86b275 · a86b275
2 parents 4d3f01d + 14a3e43
commit a86b275
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -117,6 +117,13 @@
 html_css_files = [
     'css/custom.css',
 ]
+html_context = {
+    "display_github": True, # Integrate GitHub
+    "github_user": "google", # Username
+    "github_repo": "jaxopt", # Repo name
+    "github_version": "main", # Version
+    "conf_py_path": "/docs/", # Path in the checkout to the docs root
+}
 
 
 # -- Options for myst ----------------------------------------------