[cmake-developers] PATCH: fix sphinx-documentation theme

[Brad King]

On 11/16/2015 10:45 AM, Stuermer, Michael SP/HZA-ZSEP wrote:
> Sphinx does not seem to provide any "default" theme anymore,
> it's called "classic" now.

Thanks.  This was previously discussed here:

 https://cmake.org/pipermail/cmake/2015-July/061096.html

Upstream Sphinx has decided to drop the warning:

 https://github.com/sphinx-doc/sphinx/commit/034c4e942451fad40350ae3bb3beda6c63a49064

> It might even be better to make the html_theme value a cmake
> variable in the build process.

Perhaps, but that will require more extensive changes to configure
all the different places in the source that refer to the theme.
If the `static/cmake.css` file needs to be configured then we
might also have to configure/copy everything else in the entire
`static` directory since IIRC sphinx only has one value for that
and not a search path.

For now it is simplest to ignore the warning from Sphinx or
upgrade to a version of Sphinx that drops the warning.

-Brad