option('man', type : 'combo', choices : ['auto', 'true', 'false'],
       value : 'auto',
       description : 'build and install man pages')
