out-of-tree build: fix documentation generation II