commit bd9f5408cfe588dd68b8d7b011ef4f796477bca5 Author: Enrico Forestieri <for...@lyx.org> Date: Fri Mar 13 00:34:53 2015 +0100
Properly name an uncompressed sgvz file. Some tools may rely on the extension and do not actually check whether a svg file is compressed or not. diff --git a/src/support/filetools.cpp b/src/support/filetools.cpp index 2008838..134dc17 100644 --- a/src/support/filetools.cpp +++ b/src/support/filetools.cpp @@ -872,6 +872,8 @@ string const unzippedFileName(string const & zipped_file) string const ext = getExtension(zipped_file); if (ext == "gz" || ext == "z" || ext == "Z") return changeExtension(zipped_file, string()); + else if (ext == "svgz") + return changeExtension(zipped_file, "svg"); return onlyPath(zipped_file) + "unzipped_" + onlyFileName(zipped_file); }