option('docs', type: 'feature', value: 'enabled', description: 'Generate html documentation')
option('man', type: 'feature', value: 'enabled', description: 'Generate man page documentation')
option('docs-only', type: 'boolean', value: false, description: 'Generate documentation only')
