Skip to content

Update readthedocs files

  • RTD now requires build.os
  • Copy David's logic for setting sphinx_rtd_theme

Merge request reports