diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs
index dd2bb78aab72ebf35fc72d0fc42e2ec2c5a892a0..b9b090bb2d2de194dd5af688c49645b311df9915 100644
--- a/src/bootstrap/config.rs
+++ b/src/bootstrap/config.rs
@@ -559,6 +559,7 @@ pub fn default_opts() -> Config {
         config.submodules = true;
         config.fast_submodules = true;
         config.docs = true;
+        config.docs_minification = true;
         config.rust_rpath = true;
         config.channel = "dev".to_string();
         config.codegen_tests = true;