minify theme.js as well

2019-11-28 00:26:59 +01:00 · 2019-11-28 00:26:59 +01:00 · 852079fbf2
parent 35ba58f5a9
commit 852079fbf2
1 changed files with 3 additions and 4 deletions
--- a/src/librustdoc/html/render.rs
+++ b/src/librustdoc/html/render.rs
@ -644,10 +644,9 @@ themePicker.onblur = handleThemeButtonsBlur;
    themes.appendChild(but);
 }});"#,
                 as_json(&themes));
-    write(cx.dst.join(&format!("theme{}.js", cx.shared.resource_suffix)),
-          theme_js.as_bytes()
-    )?;
-
+    write_minify(&cx.shared.fs, cx.path("theme.js"),
+                 &theme_js,
+                 options.enable_minification)?;
    write_minify(&cx.shared.fs, cx.path("main.js"),
                 static_files::MAIN_JS,
                 options.enable_minification)?;