Hi Jani, Am 24.10.2016 um 11:04 schrieb Jani Nikula <jani.nikula@xxxxxxxxx>: > I think I saw some of this in the past [1], but then couldn't reproduce > it after all. Now I'm seeing it again. Sporadically > Documentation/media/uapi/cec/ gets rebuilt on successive runs of make > htmldocs, even when nothing has changed. > > Output of 'make SPHINXOPTS="-v -v" htmldocs' attached for both cases. > > Using Sphinx (sphinx-build) 1.4.6 I can't see what's wrong with your "rebuild" file ... <build-cec-rebuilding.txt ---------> loading pickled environment... done building [mo]: targets for 0 po files that are out of date building [html]: targets for 0 source files that are out of date updating environment: 0 added, 0 changed, 0 removed looking for now-outdated files... none found no targets are out of date. build succeeded. HTML Documentation/DocBook/index.html <build-cec-rebuilding.txt ---------> Sphinx loads the cached (pickled) environment and says, that no target was outdated. The build succeeded without any rebuild. IMO it is sane build ... or do I misunderstood you? -- Markus -- -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
