# manpages are updated by help2man, not by maintainer
maintainer-manual-page debian/help2man/repo*.1
