Build/source.development/TeX/texk/dvipsk/tex/dvips.tex Build/source/TeX/texk/dvipsk/tex/dvips.tex Bizarre, I didn't see them yesterday. I've deleted the one in source.development, the one in source will go when we promote. Thanks, karl