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