Philipp Krones 0266a9e9a3

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.

2023-04-11 14:43:47 +02:00

..

ISSUE_TEMPLATE

…

workflows

Fix links in Clippy book

2023-04-11 14:43:47 +02:00

deploy.sh

…

driver.sh

Add cargo-clippy sysroot test

2023-01-12 18:32:47 +01:00

PULL_REQUEST_TEMPLATE.md

…