// PKZIP
static string const zipStamp = "PK";
+ // ZIP containers (koffice, openoffice.org etc).
+ static string const nonzipStamp = "\008\0\0\0mimetypeapplication/";
+
// compress
static string const compressStamp = "\037\235";
if (prefixIs(str, gzipStamp)) {
format = "gzip";
- } else if (stamp == zipStamp) {
+ } else if (stamp == zipStamp &&
+ !contains(str, nonzipStamp)) {
format = "zip";
} else if (stamp == compressStamp) {
- Do not use \inputencoding for translated names of theorem-like environments
if they can be actually encoded in the chosen document encoding (bug 7800).
+- Do mot misdetect office file formats as zip (bug 7973).
+
* TEX2LYX