Skip to content

Comments

chore(forge-doc): update mdbook to 0.5.2#13045

Closed
Dannyyy93 wants to merge 1 commit intofoundry-rs:masterfrom
Dannyyy93:mdbook-update
Closed

chore(forge-doc): update mdbook to 0.5.2#13045
Dannyyy93 wants to merge 1 commit intofoundry-rs:masterfrom
Dannyyy93:mdbook-update

Conversation

@Dannyyy93
Copy link
Contributor

Fixes #12872
Migrates from mdbook 0.4 to mdbook-driver 0.5.2, as mdbook 0.5 no longer provides a library target.

@onbjerg onbjerg enabled auto-merge January 11, 2026 18:10
Copy link
Member

@zerosnacks zerosnacks left a comment

Choose a reason for hiding this comment

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

Soft blocked on rust-lang/mdBook#3004

zerosnacks added a commit that referenced this pull request Jan 12, 2026
zerosnacks added a commit that referenced this pull request Jan 12, 2026
@zerosnacks
Copy link
Member

Closing, preferring #13064; added you as co-author, a new license introduced in by mdbook 0.5 required some special handling.

@zerosnacks zerosnacks closed this Jan 12, 2026
auto-merge was automatically disabled January 12, 2026 18:01

Pull request was closed

@github-project-automation github-project-automation bot moved this to Done in Foundry Jan 12, 2026
github-merge-queue bot pushed a commit that referenced this pull request Jan 12, 2026
* update mdbook

* add license clarification

* add Dannyyy93 as co-author per #13045

Co-authored-by: Dannyyy93 <[email protected]>

---------

Co-authored-by: Dannyyy93 <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

chore(forge doc): update mdbook to 0.5.2

3 participants