>>>>> "Jürgen" == Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:
>> You could also take the old ones from 1.4. Jürgen> I thought about it, but the eps2eps-generated files are Jürgen> significantly smaller (and have the same quality AFAICS). OK then. Jmarc
