option('install-tools', type: 'boolean', value: false)
option('docs',
type: 'boolean', value: false,
description: 'Build reference manual')