Tweaked the documentation generation destination in hope to make Jenkins plugins happier.