improved logging in documentation generation, fix #2451