> tetex-src-1.0.2+20011202/latex/prettyref/mathcomp.dtx > tetex-src-1.0.2+20011202/latex/prettyref/mathcomp.ins Ok, I have removed these. Thomas