# it's debian/*'s licensing.
monodoc-base: copyright-refers-to-versionless-license-file usr/share/common-licenses/GPL
