Sebastian Rahtz wrote: > > > > DANTE is going to produce the CDs (~5000 sets), starting next week. > > whats your view? do you want to risk the wrath of Knuth? not really! Is there a not so labour-intensive cure for this problem? What about getting rid of the -src option? -- Volker