Fix out-of-tree build for doc/.