Skip to content
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

Cleanup the repo a little bit after Rust Reference decision #70

Merged
merged 9 commits into from
Jul 25, 2024

Conversation

JoelMarcey
Copy link
Contributor

@JoelMarcey JoelMarcey commented Jul 17, 2024

There is still more to do, but this tries to at least reduce the confusion that this repo is actively being worked on at this point in time.

There is still more two do, but this tries to at least reduce the confusion that this repo is actively being worked on at this point in time.
@JoelMarcey JoelMarcey requested review from ehuss and traviscross July 17, 2024 22:07
@JoelMarcey JoelMarcey self-assigned this Jul 17, 2024
@JoelMarcey
Copy link
Contributor Author

What do I need to change/update so mdbook build doesn't try to build deleted files any longer?

@ehuss
Copy link
Contributor

ehuss commented Jul 19, 2024

What do I need to change/update so mdbook build doesn't try to build deleted files any longer?

I think for now we should just keep the spec directory. It is the only way to test the mdbook-spec plugin to ensure that it works on a basic level.

The plan is to move it to the reference repo once the workspace problems have been worked out in rust-lang/rust. At that time, we can delete most everything here.

If you'd like, perhaps change this PR to only modify the top-level README, and we can take care of the rest soon afterwards?

ehuss added 7 commits July 25, 2024 07:47
This has moved to the reference repo in rust-lang/reference#1542.
There isn't anything here, and no intent to add anything, and there
shouldn't be any links to this.
These are no longer needed now that mdbook-spec and the book are not
here.
@ehuss
Copy link
Contributor

ehuss commented Jul 25, 2024

I pushed some commits to further clean up the repo after rust-lang/reference#1542.

@ehuss ehuss merged commit 3bc1315 into rust-lang:main Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants