diff --git a/filter/tex/pix.php b/filter/tex/pix.php index 2a1b0accf4f..9ff4fcc279d 100644 --- a/filter/tex/pix.php +++ b/filter/tex/pix.php @@ -59,6 +59,9 @@ case "Darwin": $cmd = "$CFG->dirroot/$CFG->texfilterdir/mimetex.darwin -e $pathname ". escapeshellarg($texexp); break; + default: /// To allow drop-in binaries for other platforms + $cmd = "$CFG->dirroot/$CFG->texfilterdir/mimetex -e $pathname ". escapeshellarg($texexp); + break; } system($cmd, $status); }