Sorry, I have to read the reactions first, before sending my reaction. The solution of /Daniel Bäder is much better! Set the TEX environment variable: "/export TEX=tex".
Best regards, Ferdinand _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development