option('man', type: 'boolean', value: true, description: 'Build and install man pages')

