Skip to content

Removing .rc from the manual #7891

New issue

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

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

Already on GitHub? # to your account

Closed
wants to merge 4 commits into from
Closed

Removing .rc from the manual #7891

wants to merge 4 commits into from

Conversation

MaikKlein
Copy link
Contributor

No description provided.

@@ -3251,7 +3250,7 @@ As an example, to see all the logs generated by the compiler, you would set
you would set it to `rustc::metadata::creader`. To see just error logging
use `rustc=0`.

Note that when compiling either `.rs` or `.rc` files that don't specify a
Note that when compiling either `source` or `crate` files that don't specify a
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: no need for backticks here, "source" and "crate" are not code examples.

@graydon
Copy link
Contributor

graydon commented Jul 18, 2013

Hey, thanks. This is pretty good but I was wondering if you could go further even and rework the paragraph to just not mention "crate files" at all anymore. It's a defunct concept. Rust compiles source files only, a "crate" is just the tree of source files formed by following inter-file mod references.

@thestinger
Copy link
Contributor

Landing with #7897 (as one commit).

@thestinger thestinger closed this Jul 20, 2013
flip1995 pushed a commit to flip1995/rust that referenced this pull request Nov 4, 2021
…afe_blocks, r=flip1995

Fix ice in `undocumented_unsafe_blocks`

Fix rust-lang/rust-clippy#7868

changelog: Fix ice in [`undocumented_unsafe_blocks`]
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants