diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2021-11-02 17:15:11 +0100 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2021-11-16 12:05:12 -0800 |
| commit | fb40f1772b9def695ff9b8bc5e573fc0e6a5a9ea (patch) | |
| tree | 9d7869517fe49fd41f9e843f9701929bbb214d90 | |
| parent | 082accd313b50e5b3d831ba0c0b98bd376287695 (diff) | |
| download | rust-fb40f1772b9def695ff9b8bc5e573fc0e6a5a9ea.tar.gz rust-fb40f1772b9def695ff9b8bc5e573fc0e6a5a9ea.zip | |
Also check for feature gates in "src/test/rustdoc"
(cherry picked from commit d7afbf61d87bf345597624cccdfb1036439697b9)
| -rw-r--r-- | src/tools/tidy/src/features.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/tidy/src/features.rs b/src/tools/tidy/src/features.rs index 338dfd11310..129237775fe 100644 --- a/src/tools/tidy/src/features.rs +++ b/src/tools/tidy/src/features.rs @@ -97,6 +97,7 @@ pub fn check( &src_path.join("test/ui"), &src_path.join("test/ui-fulldeps"), &src_path.join("test/rustdoc-ui"), + &src_path.join("test/rustdoc"), ], &mut |path| super::filter_dirs(path), &mut |entry, contents| { |