option('man-pages', type: 'feature', value: 'auto', description: 'Generate and install man pages')