Frank Küster <frank@debian.org> wrote: > mapping;<filename>;remap > > *copies* the file to the new destination, but we want to move it. Do I > really need to introduce a new mapping directive? Found out meanwhile: Since $gotremapped=1, it is not copied to the usual place. Fixed locally. Regards, Frank -- Dr. Frank Küster Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich Debian Developer (teTeX/TeXLive)