From bdbb29f6fc757da6a18469f7af194c81015afea4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Tue, 2 May 2017 17:34:11 +0200 Subject: [PATCH] Removed latest.js file --- Gruntfile.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Gruntfile.js b/Gruntfile.js index 30a2fe4a1..79c69f946 100644 --- a/Gruntfile.js +++ b/Gruntfile.js @@ -42,6 +42,7 @@ module.exports = function(grunt) { // ``packed` for production unpacked: [ "unpacked" + "latest.js" ], packed: [ "config", @@ -49,7 +50,8 @@ module.exports = function(grunt) { "extensions", "jax", "localization", - "MathJax.js" + "MathJax.js", + "latest.js" ], // If you don"t need combined configuration files or want to build your own: allConfigs: [