Manpages of mini-buildd in Debian jessie-backports