1
Fork 0

prevent open with json

This commit is contained in:
viandoxdev 2022-11-02 11:28:31 +01:00
parent 972d075aa6
commit 1bc2bfa44c
No known key found for this signature in database
GPG key ID: AF1410C5BC10AA25

View file

@ -506,6 +506,11 @@ impl Step for Std {
doc_std(builder, self.format, stage, target, &out, &extra_args, &requested_crates);
// Don't open if the format is json
if let DocumentationFormat::JSON = self.format {
return;
}
// Look for library/std, library/core etc in the `x.py doc` arguments and
// open the corresponding rendered docs.
for requested_crate in requested_crates {