Add version dropdown to GitHub Pages docs build

mhostetter · Aug 30, 2022 · d0ac1ed · d0ac1ed
1 parent 875e069
commit d0ac1ed
Showing 1 changed file with 2 additions and 16 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -171,22 +171,8 @@
  "provider": "google",
  "property": "G-4FW9NCNFZH"
  },
- # "font": {
- # "code": "Ubuntu Mono"
- # },
- # "version_dropdown": True,
- # "version_info": [
- # {
- # "version": "https://sphinx-immaterial.rtfd.io",
- # "title": "ReadTheDocs",
- # "aliases": []
- # },
- # {
- # "version": "https://jbms.github.io/sphinx-immaterial",
- # "title": "Github Pages",
- # "aliases": []
- # },
- # ],
+ "version_dropdown": True,
+ "version_json": "../versions.json",
 }
 
 html_last_updated_fmt = ""