debian/tmp/usr/share/man/mann/*
