-
Notifications
You must be signed in to change notification settings - Fork 13k
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
get rid of duplicate primitive_docs #115494
Conversation
(rustbot has picked a reviewer for you, use r? to override) |
This comment has been minimized.
This comment has been minimized.
5231549
to
e4ce695
Compare
Ah, this seems to be the key point that wasn't mentioned in the files
But I feel like duplicating the file is not a great solution for that... it makes for a pretty bad contributor experience when editing that file. |
Symlinks would solve that but they cause issues for windows devs who don't have developer mode enabled. |
Hm, CI passed to maybe the quoted statement about broken links is not true any more...? |
Yeah I figured that was the reason for this. But my backup plan if we cannot |
We might be able to copy it somewhere else, but src directories are read-only mounted in CI. Should be workable otherwise... |
Currently it doesn't look like we need to copy it at all? |
r? @Mark-Simulacrum |
☔ The latest upstream changes (presumably #115829) made this pull request unmergeable. Please resolve the merge conflicts. |
(I'm going to wait for feedback on the approach before rebasing; this will obviously have a conflict each time the file is changed.) |
I've been trying to reproduce this problem... linkcheck doesn't seem to find problems on this branch, and poking around a couple of primitive doc files I'm not seeing broken links either (but perhaps I'm not finding something). My inclination is to merge and we can back it out if problems arise. @RalfJung did you manage to reproduce the problem above? If so, then the alternative approach of bootstrap copying files around might be reasonable (copying from core to a std-loaded directory would be my preference). |
Hm, maybe it works because neither |
e4ce695
to
2d9f28b
Compare
2d9f28b
to
ccbb7b3
Compare
I've added a relative test link in |
CI seems fine. So I think we can conclude that something changed since back then and relative links are actually okay now? I'll take the commit back out of the PR. If you want to check it out, it's ccbb7b3. |
ccbb7b3
to
7b7caae
Compare
Yeah, maybe. Let's proceed for now and we can revert & re-evaluate if folks report problems. @bors r+ |
…iaskrgr Rollup of 6 pull requests Successful merges: - rust-lang#109409 (Add `minmax{,_by,_by_key}` functions to `core::cmp`) - rust-lang#115494 (get rid of duplicate primitive_docs) - rust-lang#115663 (ci: actions/checkout@v3 to actions/checkout@v4) - rust-lang#115762 (Explain revealing of opaque types in layout_of ParamEnv) - rust-lang#115891 (simplify inject_impl_of_structural_trait) - rust-lang#115932 (Expand infra-ci reviewer list) r? `@ghost` `@rustbot` modify labels: rollup
…iaskrgr Rollup of 6 pull requests Successful merges: - rust-lang#109409 (Add `minmax{,_by,_by_key}` functions to `core::cmp`) - rust-lang#115494 (get rid of duplicate primitive_docs) - rust-lang#115663 (ci: actions/checkout@v3 to actions/checkout@v4) - rust-lang#115762 (Explain revealing of opaque types in layout_of ParamEnv) - rust-lang#115891 (simplify inject_impl_of_structural_trait) - rust-lang#115932 (Expand infra-ci reviewer list) r? `@ghost` `@rustbot` modify labels: rollup
Rollup merge of rust-lang#115494 - RalfJung:primitive_docs, r=Mark-Simulacrum get rid of duplicate primitive_docs Having this duplicate makes editing that file very annoying. And at least locally the generated docs still look perfectly fine...
Having this duplicate makes editing that file very annoying. And at least locally the generated docs still look perfectly fine...