Jhair Tocancipa Triana wrote: > $ dpkg -l | grep tetex-extra > ii tetex-extra 1.0.2+20011202 extra teTeX library files *Kopf schlag* Auf die einfachen Dinge kommt man immer zum Schluß. Danke! Tschau, Jörg -- Mitleid gibt's umsonst, Neid muß man sich verdienen.