debian/tmp/manpages/*
