diff --git a/Makefile.dryice.js b/Makefile.dryice.js
index 51fddaf0..5ea00a21 100755
--- a/Makefile.dryice.js
+++ b/Makefile.dryice.js
@@ -55,9 +55,7 @@ copy({
copy.source.commonjs({
project: project,
require: [
- 'pilot/fixoldbrowsers',
'pilot/plugin_manager',
- 'pilot/settings',
'pilot/environment',
'pilot/index',
'startup',
@@ -244,7 +242,7 @@ copy({
// Create the compressed and uncompressed output files
copy({
source: data,
- //filter: copy.filter.uglifyjs,
+ filter: copy.filter.uglifyjs,
dest: 'build/old-ace.js'
});
copy({
diff --git a/build_support/boot.js b/build_support/boot.js
index f61e91d6..78913861 100644
--- a/build_support/boot.js
+++ b/build_support/boot.js
@@ -35,8 +35,7 @@
*
* ***** END LICENSE BLOCK ***** */
-var deps = [ "pilot/fixoldbrowsers", "pilot/plugin_manager", "pilot/settings",
- "pilot/environment" ];
+var deps = [ "pilot/plugin_manager", "pilot/environment" ];
require(deps, function() {
var catalog = require("pilot/plugin_manager").catalog;
diff --git a/build_support/editor.html b/build_support/editor.html
index f5380885..8ff3e8d9 100644
--- a/build_support/editor.html
+++ b/build_support/editor.html
@@ -17,7 +17,7 @@
}
}
-
+