redhat: specify man pages without wildcards