>>>>> "José" == José Matos <[EMAIL PROTECTED]> writes:

José>   Any objection to apply this patch to trunk?

The second part is fine, the first looks bad:

@@ -1145,8 +1145,8 @@
        busy(true);
 
        // get LaTeX-Filename
-       string const name = getLatexName(false);
        string const path = temppath();
+       string const name = path + '/' + getLatexName();
        string const org_path = filePath();
 
        support::Path p(path); // path to LaTeX file

At least it should be 
        string const name = addPath(path, getLatexName());

Georg, comments? I am not sure how it is supposed to work nowadays.

JMarc

Reply via email to