changing the man-pages. problems with tex