On 13/09/2011 7:55 PM, Tommaso Cucinotta wrote:
I tried to not interfere with the original logic when no output folder
was set. One difference that I would see between the 2 cases (and which
might motivate keeping some distinction between the 2 cases) is due to
already existing image files. Say that you include a "graph.eps" in your
document. Now, when exporting to LaTeX without any export folder, the
file would already be there, i.e., no need to copy nor to complain
because it already exists. When we export to a different folder, we
should copy the file there. However, what should we do if the file
already exists ? Simply overwrite it ? Prompt the user ? Allow for
changing the file-name ? Fail the export ?

There's already the command-line flag -f for this problem, I think.

--
Julien

Reply via email to