Paul Vojta <vojta@Math.Berkeley.EDU> writes: > Probably the best way around the problem would be for xdvi to send all > files over the pipe, instead of sending "(filename) run". > I'll try it out to see if there's a serious performance hit. If it works performance-wise, this sounds like a great solution - pretty generic, and no backward compatibility problems. -- Stefan Ulrich