tetex-1.0.7-3 installs manpages in /usr/man/ instead of /usr/man/man1/
*** Bug 14260 has been marked as a duplicate of this bug. ***
should be fixed in tetex-1.0.7-7.