From 095b6d2037c26f59d27382d627f2d62ac859ca49 Mon Sep 17 00:00:00 2001
From: Michael Howell <michael@notriddle.com>
Date: Fri, 12 Mar 2021 15:03:54 -0700
Subject: [PATCH] Make docs-minification default to true

---
 src/bootstrap/config.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs
index dd2bb78aab7..b9b090bb2d2 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;