option('build_docs',
	type: 'boolean',
	value: false,
	description: 'Build reference documentation (needs HotDoc)')
