diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-04-11 14:35:45 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-04-11 14:43:47 +0200 |
| commit | 0266a9e9a36d226031b1012d912624d6876dc06f (patch) | |
| tree | 5aaa40c3f248774406c53696bdada755ba32c8f7 | |
| parent | 3b5b2ed01a5b32aff05dd7fcaf244358bcbfa0cb (diff) | |
| download | rust-0266a9e9a36d226031b1012d912624d6876dc06f.tar.gz rust-0266a9e9a36d226031b1012d912624d6876dc06f.zip | |
Fix links in Clippy book
Links to README.md files must actually be links to index.md files, because of the inner workings of `mdbook`. Also use the latest mdbook version in CI.
| -rw-r--r-- | .github/workflows/remark.yml | 2 | ||||
| -rw-r--r-- | book/src/development/basics.md | 4 | ||||
| -rw-r--r-- | book/src/usage.md | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/remark.yml b/.github/workflows/remark.yml index 81ef072bbb0..116058b7c75 100644 --- a/.github/workflows/remark.yml +++ b/.github/workflows/remark.yml @@ -29,7 +29,7 @@ jobs: - name: Install mdbook run: | mkdir mdbook - curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.18/mdbook-v0.4.18-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook + curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.28/mdbook-v0.4.28-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook echo `pwd`/mdbook >> $GITHUB_PATH # Run diff --git a/book/src/development/basics.md b/book/src/development/basics.md index b07d3de7187..7615dc12f9e 100644 --- a/book/src/development/basics.md +++ b/book/src/development/basics.md @@ -4,8 +4,8 @@ This document explains the basics for hacking on Clippy. Besides others, this includes how to build and test Clippy. For a more in depth description on the codebase take a look at [Adding Lints] or [Common Tools]. -[Adding Lints]: https://github.com/rust-lang/rust-clippy/blob/master/book/src/development/adding_lints.md -[Common Tools]: https://github.com/rust-lang/rust-clippy/blob/master/book/src/development/common_tools_writing_lints.md +[Adding Lints]: adding_lints.md +[Common Tools]: common_tools_writing_lints.md - [Basics for hacking on Clippy](#basics-for-hacking-on-clippy) - [Get the Code](#get-the-code) diff --git a/book/src/usage.md b/book/src/usage.md index 372a23320d8..32084a9199b 100644 --- a/book/src/usage.md +++ b/book/src/usage.md @@ -148,4 +148,4 @@ clippy-driver --edition 2018 -Cpanic=abort foo.rs > that are not optimized as expected, for example. [Installation]: installation.md -[CI]: continuous_integration/README.md +[CI]: continuous_integration/index.md |