Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 21, 2025

Because the pull_request checks are building docs from main, 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.

Because the pull_request checks are building docs from main, 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 added a commit to ehuss/rustup that referenced this pull request Nov 21, 2025
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.
@djc djc enabled auto-merge November 21, 2025 21:00
@djc djc added this pull request to the merge queue Nov 21, 2025
Merged via the queue into rust-lang:main with commit 9331603 Nov 21, 2025
29 checks passed
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