MPS issue job003950

TitleManual not compatible with Sphinx 1.3.1
Assigned userGareth Rees
DescriptionIf you compile the MPS manual with Sphinx 1.3.1, you get the error:

WARNING: 'default' html theme has been renamed to 'classic'. Please change your html_theme setting either to the new 'alabaster' default theme, or to 'classic' to keep using the old default.
AnalysisThis can be "fixed" by putting

    inherit = classic

in manual/source/themes/mps/theme.conf and

    @import url('classic.css');

in manual/source/themes/mps/static/mps.css_t. But that will break things on older versions of Sphinx. Sphinx issue #1346 [1] implies that they tried to make things backward-compatible. But it looks as if they failed.

GDR 2016-10-14: The warning no longer appears as of Sphinx 1.4.6. It looks as though the problem has been fixed.
How foundautomated_test
Created byGareth Rees
Created on2015-09-27 14:22:27
Last modified byGareth Rees
Last modified on2016-10-14 21:59:12
History2015-09-27 GDR Created.
2016-10-14 GDR Closed (Sphinx was fixed to be backwards compatible).