| Title | Manual not compatible with Sphinx 1.3.1 |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| 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 @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 found | automated_test |
| Evidence | [1] https://github.com/sphinx-doc/sphinx/issues/1346 |
| 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). |