From 665bb6d254cd6b069ed5c99f0eeaa533bdfd3ab8 Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Wed, 5 Nov 2025 14:34:01 -0800 Subject: [PATCH] Update to mdbook 0.5 --- .github/workflows/ci.yaml | 2 +- ci/actions-templates/test-docs-template.yaml | 2 +- doc/dev-guide/book.toml | 1 - doc/user-guide/book.toml | 1 - 4 files changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 93328e26..16fb3394 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1567,7 +1567,7 @@ jobs: uses: taiki-e/install-action@v2 env: # renovate: datasource=crate depName=mdbook - MDBOOK_VERSION: "0.4.43" + MDBOOK_VERSION: "0.5.2" with: tool: mdbook@${{ env.MDBOOK_VERSION }} - name: Build user-guide (stable) diff --git a/ci/actions-templates/test-docs-template.yaml b/ci/actions-templates/test-docs-template.yaml index 4a92ee77..e0c95375 100644 --- a/ci/actions-templates/test-docs-template.yaml +++ b/ci/actions-templates/test-docs-template.yaml @@ -15,7 +15,7 @@ jobs: # skip-all uses: taiki-e/install-action@v2 env: # renovate: datasource=crate depName=mdbook - MDBOOK_VERSION: "0.4.43" + MDBOOK_VERSION: "0.5.2" with: tool: mdbook@${{ env.MDBOOK_VERSION }} - name: Build user-guide (stable) diff --git a/doc/dev-guide/book.toml b/doc/dev-guide/book.toml index e280329c..b79ef092 100644 --- a/doc/dev-guide/book.toml +++ b/doc/dev-guide/book.toml @@ -4,7 +4,6 @@ language = "en" title = "The Rustup developer guide" [output.html] -smart-punctuation = true edit-url-template = "https://github.com/rust-lang/rustup/edit/HEAD/doc/dev-guide/{path}" git-repository-url = "https://github.com/rust-lang/rustup/tree/HEAD/doc/dev-guide" site-url = "https://rust-lang.github.io/rustup/dev-guide" diff --git a/doc/user-guide/book.toml b/doc/user-guide/book.toml index 202c3a8e..2fe51d75 100644 --- a/doc/user-guide/book.toml +++ b/doc/user-guide/book.toml @@ -3,7 +3,6 @@ authors = ["The Rust Project Developers"] title = "The rustup book" [output.html] -smart-punctuation = true edit-url-template = "https://github.com/rust-lang/rustup/edit/HEAD/doc/user-guide/{path}" git-repository-url = "https://github.com/rust-lang/rustup/tree/HEAD/doc/user-guide" site-url = "https://rust-lang.github.io/rustup/"