option('documentation', type: 'boolean', value: true, description: 'build documentation')
option('getting_started', type: 'boolean', value: false, description: 'build getting started PDFs')
