option(
	'doc',
	type: 'boolean', value: true,
	description: 'Whether or not to build the documentation.',
)

