option('build_doc', type : 'feature', value : 'auto',
  description : 'Build man pages')