![](https://secure.gravatar.com/avatar/15f5e6abf26f57e1838c29a8356ce7f8.jpg?s=120&d=mm&r=g)
Hi all,
I have an important question about the extension of the generated TeX file when using the PDF+LaTeX option. Right now, it generates an imagename.pdf file and an imagename.tex file. However, if a user has chosen the same name for the image as his tex document file, the tex file is overwritten. A suggestion at Launchpad proposes to create not a .tex file but a .pdf_tex file instead. I am inclined to go with this option, as this also enables use of different export settings for pdf+latex and ps+latex and eps+latex...
Thanks for your quick input, Johan
__________________________________________ ir. J.B.C. Engelen PhD student Microelectromechanical Systems TST EEMCS University of Twente, The Netherlands e-mail: j.b.c.engelen@...1887... tel.nr.: +31 53 489 4354