Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 21, 2025

This is the stable-branch version of #4612

Because the pull_request checks are building docs from main and stable, the checks fail due to mdbook 0.5 changing and removing some fields. This change should allow the books to work with both 0.4 and 0.5. In particular:

  • multilingual -- This was never used, is optional, and is ignored in 0.4. This is rejected in 0.5.
  • curly-quotes -- This was renamed to smart-punctuation a long while ago. Both 0.4 and 0.5 use smart-punctuation, and 0.5 has removed the old curly-quotes.
  • src -- This isn't needed and is an artifact of an mdbook init bug.

This is the stable-branch version of rust-lang#4612

Because the pull_request checks are building docs from main and stable,
the checks fail due to mdbook 0.5 changing and removing some fields.
This change should allow the books to work with both 0.4 and 0.5. In
particular:

- `multilingual` -- This was never used, is optional, and is ignored in
  0.4. This is rejected in 0.5.
- `curly-quotes` -- This was renamed to `smart-punctuation` a long while
  ago. Both 0.4 and 0.5 use `smart-punctuation`, and 0.5 has removed the
  old `curly-quotes`.
- `src` -- This isn't needed and is an artifact of an `mdbook init` bug.
@ehuss ehuss mentioned this pull request Nov 21, 2025
@ehuss
Copy link
Contributor Author

ehuss commented Nov 21, 2025

Hm, looks like stable is not in a good space right now 😕

@rami3l
Copy link
Member

rami3l commented Nov 21, 2025

@ehuss That's because the r-l/r repo has changed its CI structure, unfortunately.

I think we really need to decouple website releases from the main release... everything is very confusing right now for both us and the users, and some stuff that should've been updated hasn't been modified in months :o

@ehuss
Copy link
Contributor Author

ehuss commented Nov 21, 2025

Talked with @rami3l. I'm going to close this for now. This isn't at all urgent, and can wait until the next release that contains #4612.

#4615 is now open to figure out a longer-term strategy for updating the live site.

@ehuss ehuss closed this Nov 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants