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