option(
  'docdir',
  type: 'string',
  description: 'Directory where the documentation should be installed to',
)
