> Well, I presume the original source for the man pages is pdftex CVS, so > they should be fixed there. (I also suggest making pdfetex.org really a They are also in the src area in TeX/texk/web2c/man. Thomas