diff --git a/filter/tex/mimetex.darwin b/filter/tex/mimetex.darwin new file mode 100755 index 00000000000..e0064f182ac Binary files /dev/null and b/filter/tex/mimetex.darwin differ diff --git a/filter/tex/mimetex.exe b/filter/tex/mimetex.exe new file mode 100755 index 00000000000..6b818a5aad5 Binary files /dev/null and b/filter/tex/mimetex.exe differ diff --git a/filter/tex/mimetex b/filter/tex/mimetex.linux similarity index 100% rename from filter/tex/mimetex rename to filter/tex/mimetex.linux diff --git a/filter/tex/pix.php b/filter/tex/pix.php index 872b94d4d10..7613830bbdf 100644 --- a/filter/tex/pix.php +++ b/filter/tex/pix.php @@ -46,7 +46,17 @@ $texexp = str_replace('>','>',$texexp); $texexp = preg_replace('!\r\n?!',' ',$texexp); $texexp = '\Large ' . $texexp; - system("QUERY_STRING=;export QUERY_STRING;$CFG->dirroot/$CFG->texfilterdir/mimetex -d ". escapeshellarg($texexp) . " >$pathname"); + switch (PHP_OS) { + case "Linux": + system("QUERY_STRING=;export QUERY_STRING;$CFG->dirroot/$CFG->texfilterdir/mimetex.linux -d ". escapeshellarg($texexp) . " >$pathname"); + break; + case "Windows": + system("$CFG->dirroot/$CFG->texfilterdir/mimetex.exe -d ". escapeshellarg($texexp) . " >$pathname"); + break; + case "Darwin": + system("QUERY_STRING=;export QUERY_STRING;$CFG->dirroot/$CFG->texfilterdir/mimetex.darwin -d ". escapeshellarg($texexp) . " >$pathname"); + break; + } } }