On Wed, 2002-11-20 at 18:18, Gerben Wierda wrote: > Definitely does not remove source.development/TeX/texk/web2c/mfextra.c > or source.development/TeX/texk/web2c/mpextra.c on my system and it > should. isnt your situation what "make distclean" is for? -- Sebastian Rahtz <sebastian.rahtz@computing-services.oxford.ac.uk>