rustbuild: Don't build doc::SharedAssets when building JSON docs.

diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
index 571396eb835bff3e247dd03a8e895d552c7b7173..2c6fd1e1d4dd4e19edd1a10c3f9b09bd9afec634 100644 (file)
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -458,7 +458,9 @@ fn run(self, builder: &Builder<'_>) {
 
         t!(fs::create_dir_all(&out));
 
-        builder.ensure(SharedAssets { target: self.target });
+        if self.format == DocumentationFormat::HTML {
+            builder.ensure(SharedAssets { target: self.target });
+        }
 
         let index_page = builder.src.join("src/doc/index.md").into_os_string();
         let mut extra_args = match self.format {