Am 24.04.2011 um 11:50 schrieb Ron Aaron: > OK, so this is a known bug? Not to me. My idea was that xdvipdfmx might be doing something that does not succeed in a pipe. -- Greetings Pete Ce qui a été compris n'existe plus. (Paul Eluard)