dist/linux/man/*
