add settings.js to essential files

rust-lang · Apr 23, 2019 · c276bd2 · c276bd2
1 parent 54fff31
commit c276bd2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/docbuilder/chroot_builder.rs b/src/docbuilder/chroot_builder.rs
@@ -383,6 +383,7 @@ impl DocBuilder {
                       "normalize.css",
                       "rustdoc.css",
                       "settings.css",
+                      "settings.js",
                       "storage.js",
                       "theme.js",
                       "source-script.js",