option('man-pages', type: 'boolean', value: true, description : 'Build man page')
