diff options
| -rw-r--r-- | src/bootstrap/config.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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 @@ impl 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; |