do not rename kr_theme to kr during the build

2014-07-22 16:32:40 +04:00 · 2014-07-22 16:32:40 +04:00 · 0eaae8712e
commit 0eaae8712e
parent f3d4147f6b
2 changed files with 2 additions and 6 deletions
--- a/Makefile.dryice.js
+++ b/Makefile.dryice.js
@ -359,7 +359,7 @@ function buildAce(options) {
        buildSubmodule(options, {
            projectType: "theme",
            require: ["ace/theme/" + name]
-        }, "theme-" +  name.replace("_theme", ""));
+        }, "theme-" +  name);
    });
    // keybindings
    ["vim", "emacs"].forEach(function(name) {