verbose option in documentation generation