diff --git a/filter/tex/filterconfig.html b/filter/tex/filterconfig.html index 0a7ba0d13e8..548f6e9302d 100644 --- a/filter/tex/filterconfig.html +++ b/filter/tex/filterconfig.html @@ -2,6 +2,10 @@ // check the default settings require_once "defaultsettings.php"; tex_defaultsettings(); + + // bit of a bodge - clear the tex cache area + // so that any changes will display + delDirContents( "$CFG->dataroot/filter/tex" ); ?>