[Bug 77204] make fails due to wrong file names in man