On 2006-04-29 12:26:46 -0500, Karl Berry wrote: > Maybe all he really cares about is redistributing an edited file as > tex.web, and a pdftex.web would be ok. Hmm. I can't recall him ever Yes Best Martin -- http://www.tm.oneiros.de