Copyright for linuxdoc-tools source package in Mantic