debian/tmp/usr/share/man/man3lib/*
debian/tmp/usr/share/man/man3tecla/*
debian/tmp/usr/share/man/man4/*
debian/tmp/usr/share/man/man5/*
