>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Tue, Dec 10, 2002 at 06:34:58PM +0100, Jean-Marc Lasgouttes Andre> wrote: >> What I do not see is what is the practical use of removing the >> extension on output... We should output without extension when >> there is no extension in the graphics file name (and use the same >> rules to search as latex/pdflatex), but not remove them. >> >> Does anybody know why this is supposed to be a good idea? Andre> Just guessing: When you hand over a .tex to a colleague it is Andre> pretty inconvenient to have any explicit extension in the file Andre> as this would mean he is either restricted to a single output Andre> (.ps or .pdf) or have to remove the extensions himself... Actually, the idea I had when asking this question was whether it is a good idea to do this behind the user's back. But now it occurs to me that there is no other way this can be made to work. So the only remaining problem is to know why extension is not removed with latex export. However, unless somebody comes up with a convincing patch, I am not going to address this for 1.2.2. JMarc
