Last time I noticed a problem with clang-tools-extra docs you could help solving them. If someone else is taking care of this part of the infrastructure now, please redirect appropriately.
I’m not sure if its related, but if I build inside clang/docs with Sphinx v1.6.5 I get
/usr/bin/sphinx-build -n -W ./docs ./html
Running Sphinx v1.6.5
loading pickled environment… not yet created
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 67 source files that are out of date
updating environment: 67 added, 0 changed, 0 removed
reading sources… [100%] index
Note that Polly's documentation also hasn't been updated for a while
now. I don't see a 'polly-sphinx-docs' in the builder list. Is it
supposed to exist?