not latest version of rtd_theme while building site

[StrikerRUS]

Details

• Read the Docs project URL: https://lightgbm.readthedocs.io/en/latest/
• Build URL (if applicable): https://readthedocs.org/projects/lightgbm/builds/7218315/
• Read the Docs username (if applicable):

Expected Result

The last version of rtd_theme on the site.

Actual Result

Theme version is limited by sphinx-rtd-theme<0.3:

Despite the fact that #4096 has been already merged, our latest build used old theme, and in consequence html_theme_options parameter doesn't work.
Out conf.py is very simple and can be found here.

When the latest theme will be able by default?

[StrikerRUS]

Is it caused by that latest release was 19 days ago?

[davidfischer]

#4096 is scheduled for deploy tomorrow.

[StrikerRUS]

So the sites are built not from master branch, right?

[davidfischer]

What is in rel is what's deployed. When the site is deployed, master is merged into rel. Also you can always check the changelog to see what's deployed.

[StrikerRUS]

2.3.12 release fixed the problem. Thanks for the info and changelog link!