add settings.js to essential files

QuietMisdreavus · QuietMisdreavus · commit c276bd22c8a7 · 2019-04-23T10:36:48.000-05:00
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",
