Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Deprecate the custom RTD builders (except local media) #88

Merged
merged 5 commits into from
Jun 16, 2020

Commits on May 27, 2020

  1. Remove the custom RTD builders

    - Uses default Sphinx builders instead (except for zipped media)
    - Use a Sphinx extension and events to add additional JS/CSS files
    - We should probably increment a major version for releasing this
    davidfischer committed May 27, 2020
    Configuration menu
    Copy the full SHA
    c8c0b54 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2020

  1. Configuration menu
    Copy the full SHA
    a9ac695 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2020

  1. Configuration menu
    Copy the full SHA
    0c08264 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2020

  1. Configuration menu
    Copy the full SHA
    6698995 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0eb5114 View commit details
    Browse the repository at this point in the history