Fix bug 2235: jpeg capital letters (.JPG) does not work with pdflatex

[features.git] / src / support / os.h

diff --git a/src/support/os.h b/src/support/os.h
index 2d41dd76267a6d2f377ed44c55de3a01ab455453..35fa2aa6132b0522b2c4d226aff0453244452fce 100644 (file)
--- a/src/support/os.h
+++ b/src/support/os.h
@@ -42,6 +42,9 @@ shell_type shell();
 /// Name of the python interpreter
 std::string const python();
 
+///
+bool isFilesystemCaseSensitive();
+
 /// Extract the path common to both @c p1 and @c p2. DBCS aware!
 /// \p p1, \p p2 and the return value are encoded in utf8.
 std::size_t common_path(docstring const & p1, docstring const & p2);