4 Oct 19:29
BUG: jpeg capital letters (.JPG) does not work with pdflatex
From: Peter Kümmel <syntheticpp@...>
Subject: BUG: jpeg capital letters (.JPG) does not work with pdflatex
Newsgroups: gmane.editors.lyx.devel
Date: 2008-10-04 17:30:46 GMT
Subject: BUG: jpeg capital letters (.JPG) does not work with pdflatex
Newsgroups: gmane.editors.lyx.devel
Date: 2008-10-04 17:30:46 GMT
Here a patch for http://bugzilla.lyx.org/show_bug.cgi?id=2235 Is there a better way to detect case sensitiveness of the file actual system? Peter
Index: insets/InsetGraphics.cpp
===================================================================
--- insets/InsetGraphics.cpp (revision 26731)
+++ insets/InsetGraphics.cpp (working copy)
@@ -668,7 +668,8 @@
LYXERR(Debug::GRAPHICS, "\tthe orig file is: " << orig_file);
if (from == to) {
- if (!runparams.nice && getExtension(temp_file.absFilename()) != ext) {
+ if (!runparams.nice && !isFilesystemEqual(
+ getExtension(temp_file.absFilename()), ext)) {
// The LaTeX compiler will not be able to determine
// the file format from the extension, so we must
// change it.
Index: support/filetools.cpp
===================================================================
--- support/filetools.cpp (revision 26731)
+++ support/filetools.cpp (working copy)
@@ -607,7 +607,18 @@
return buf;
}
(Continue reading)
RSS Feed