Putting our doc artifacts in the same directory as the source causes problems like in #11833, and it makes some problems for make clean when we do an in-tree build (I think we probably don't clean some of the docs because of this). Let's do the build into a different directory, maybe doc-build, or doc/build? Any better ideas?