From c276bd22c8a727825e09b416ec0b8b38f894c33f Mon Sep 17 00:00:00 2001
From: QuietMisdreavus <grey@quietmisdreavus.net>
Date: Mon, 15 Apr 2019 10:33:49 -0500
Subject: [PATCH] add settings.js to essential files

---
 src/docbuilder/chroot_builder.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/docbuilder/chroot_builder.rs b/src/docbuilder/chroot_builder.rs
index 1c07b158a..02295e57a 100644
--- 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",