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