On Thu, 28 Jul 2016, kbuild test robot <fengguang.wu@xxxxxxxxx> wrote:
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 194dc870a5890e855ecffb30f3b80ba7c88f96d6
commit: 22cba31bae9dc357622f09d22b82ca5a112b4fde Documentation/sphinx: add basic working Sphinx configuration and build
date: 8 weeks ago
reproduce: make htmldocs
All warnings (new ones prefixed by >>):
Warning: The Sphinx 'sphinx_rtd_theme' HTML theme was not found. Make sure you have the theme installed to produce pretty HTML output. Falling back to the default theme.
FWIW you can fix this by installing the sphinx_rtd_theme, but it's not
strictly necessary. The theme is packaged in several distros,
e.g. python-sphinx-rtd-theme in debian.