Skip to content

Clarify in which component and/or profile rustdoc is #2801

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
ojeda opened this issue Jun 20, 2021 · 6 comments · Fixed by #2805
Closed

Clarify in which component and/or profile rustdoc is #2801

ojeda opened this issue Jun 20, 2021 · 6 comments · Fixed by #2805

Comments

@ojeda
Copy link

ojeda commented Jun 20, 2021

Describe the problem you are trying to solve
It is not clear from https://github.com/rust-lang/rustup/blob/master/doc/src/concepts/components.md from which component rustdoc comes from, and therefore it is not clear that it is included in the minimal profile.

Describe the solution you'd like
Clarify in https://github.com/rust-lang/rustup/blob/master/doc/src/concepts/components.md from which component rustdoc comes from.

Perhaps also clarify in https://github.com/rust-lang/rustup/blob/master/doc/src/concepts/profiles.md that the components in the minimal profile also include other tools.

@jyn514
Copy link
Member

jyn514 commented Jun 24, 2021

rustdoc is in the rustc component. You cannot install rustc without also installing rustdoc.

@ojeda
Copy link
Author

ojeda commented Jun 24, 2021

Yeah, exactly: that is not clear from the docs. It just says "rustc — The Rust compiler.", without mentioning rustdoc.

@rbtcollins
Copy link
Contributor

closing in favour of that PR

@ojeda
Copy link
Author

ojeda commented Jun 29, 2021

Hmm... an issue should not be closed until the PR is merged (and if referenced, GitHub will close it for you).

@rbtcollins
Copy link
Contributor

for some reason I thought this came from the channels and thus was in the wrong repository, sorry.

@rbtcollins rbtcollins reopened this Jun 29, 2021
@ojeda
Copy link
Author

ojeda commented Jun 29, 2021

No problem at all :D

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants