]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #102017 - est31:rustc_dev_guide_tidy_skip, r=Mark-Simulacrum
authorMatthias Krüger <matthias.krueger@famsik.de>
Mon, 19 Sep 2022 15:55:24 +0000 (17:55 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Sep 2022 15:55:24 +0000 (17:55 +0200)
Add all submodules to the list of directories tidy skips

Tidy contains a blacklist of directories that it is not visiting. This list is also used by the `replace-version-placeholder` tool added by #100591 , to determine the directories to do its replacement from. Generally, tidy does not check submodules, but this is not done consistently for all submodules. This PR adds the submodules that were previously missing, so that the `replace-version-placeholder` tool does not attempt to change content of the books. This was needed because `rustc-dev-guide` contains the placeholder, leading to #102014.

Fixes #102014


Trivial merge