option('docs',
  type: 'feature',
  value: 'auto',
  description: 'doxygen API documentation'
)
