manpages-dev has no copyright file