tetex-1.0.7-r12 installs its man1 man pages in /usr/share/man and not /usr/share/man/man1 as it should.. So they are not found by the man command. Reproducible: Always Steps to Reproduce:
Ok, fixed. Also fixed in tetex-2.0.