Manpages of info2man in Debian stretch