|Title||Manual not compatible with Sphinx 1.3.1|
|Assigned user||Gareth Rees|
|Description||If 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.
|Analysis||This can be "fixed" by putting |
inherit = classic
in manual/source/themes/mps/theme.conf and
in manual/source/themes/mps/static/mps.css_t. But that will break things on older versions of Sphinx. Sphinx issue #1346  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.
|Created by||Gareth Rees|
|Created on||2015-09-27 14:22:27|
|Last modified by||Gareth Rees|
|Last modified on||2016-10-14 21:59:12|
|History||2015-09-27 GDR Created.|
2016-10-14 GDR Closed (Sphinx was fixed to be backwards compatible).