Goals:

• Address Add versioned Documentation #629

Docs Changes:

• Added a version selector to the sidebar in docs/_templates/sidebar/brand.html.

CI changes:

• Updates the Manual Docs Build workflow (.github/workflows/force-docs-build.yml).

  • This can be run whenever the docs are updated.
  • Changed some steps to be compatible with the new folder structure introduced by versioned docs
  • Increased modularity of steps to increase separation of concerns as well as increase visibility on time taken for each concern.
  • Decreased time taken to fetch code by changing fetches to shallow (depth 1)

• Added the Build old docs workflow (.github/workflows/build-old-docs.yml)

  • This should be run when a new release is created (because there will be a new old release)
  • The workflow will build the docs for all the versions specified in docs/_versions.json of the main branch
  • Each version of the docs is built by checking out to the release, pulling the latest docs/_templates/sidebar/brand.html in main. Then building with makedoc.sh.
  • Each version is then placed in separate folders in ./docs of the pages_branch.