debian/copyright is missing any references for the debian/* directory, which is somewhat pertinent as we ship some manpages of "our" own there. -- Chris Lamb <lamby@debian.org> Sat, 28 Jul 2018 09:14:31 +0000