This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change @@ -1488,7 +1488,7 @@ impl Step for Extended {
14881488
14891489 let xform = |p : & Path | {
14901490 let mut contents = t ! ( fs:: read_to_string( p) ) ;
1491- for tool in & [ "rust-demangler" , "miri" ] {
1491+ for tool in & [ "rust-demangler" , "miri" , "rust-docs" ] {
14921492 if !built_tools. contains ( tool) {
14931493 contents = filter ( & contents, tool) ;
14941494 }
Original file line number Diff line number Diff line change 1515 <line choice =" rustc" />
1616 <line choice =" rust-std" />
1717 <line choice =" cargo" />
18+ <!-- tool-rust-docs-start -->
1819 <line choice =" rust-docs" />
20+ <!-- tool-rust-docs-end -->
1921 </line >
2022 <line choice =" uninstall" />
2123 </choices-outline >
5557 >
5658 <pkg-ref id =" org.rust-lang.rust-std" />
5759 </choice >
60+ <!-- tool-rust-docs-start -->
5861 <choice id =" rust-docs" visible =" true"
5962 title =" Documentation" description =" HTML documentation."
6063 selected =" (!choices.uninstall.selected && choices['rust-docs'].selected) || (choices.uninstall.selected && choices.install.selected)"
6164 >
6265 <pkg-ref id =" org.rust-lang.rust-docs" />
6366 </choice >
67+ <!-- tool-rust-docs-end -->
6468 <pkg-ref id =" org.rust-lang.rustc" version =" 0" onConclusion =" none" >rustc.pkg</pkg-ref >
6569 <pkg-ref id =" org.rust-lang.cargo" version =" 0" onConclusion =" none" >cargo.pkg</pkg-ref >
70+ <!-- tool-rust-docs-start -->
6671 <pkg-ref id =" org.rust-lang.rust-docs" version =" 0" onConclusion =" none" >rust-docs.pkg</pkg-ref >
72+ <!-- tool-rust-docs-end -->
6773 <pkg-ref id =" org.rust-lang.rust-std" version =" 0" onConclusion =" none" >rust-std.pkg</pkg-ref >
6874 <pkg-ref id =" org.rust-lang.uninstall" version =" 0" onConclusion =" none" >uninstall.pkg</pkg-ref >
6975 <background file =" rust-logo.png" mime-type =" image/png"
You can’t perform that action at this time.
0 commit comments