option('docdir', type: 'string', value: 'share/doc/cygport')
