- LYXERR(Debug::FILES) << BOOST_CURRENT_FUNCTION << ' ' << orig_from
- << ' ' << to_format << ' ' << converted_file
- << std::endl;
+ LYXERR(Debug::FILES, ' ' << orig_from
+ << ' ' << to_format << ' ' << converted_file);
+
+ // FIXME: Should not hardcode this (see bug 3819 for details)
+ if (to_format == "pstex") {
+ FileName const converted_eps(changeExtension(converted_file.absFileName(), "eps"));
+ add(orig_from, "eps", converted_eps);
+ } else if (to_format == "pdftex") {
+ FileName const converted_pdf(changeExtension(converted_file.absFileName(), "pdf"));
+ add(orig_from, "pdf6", converted_pdf);
+ }