Merge pull request #332 from QuietMisdreavus/new-files

add settings.js to essential files
rust-lang · Apr 25, 2019 · 46fa554 · 46fa554
2 parents 7f75260 + c276bd2
commit 46fa554
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",