diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2023-02-17 06:38:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-16 20:38:25 -0800 |
| commit | e826d1bd7386de9e631136e7ebbe0e63d789f280 (patch) | |
| tree | 6e76037bd1b4c8b7945e4fd3a52420dd355f2a53 /src/doc/rustc-dev-guide | |
| parent | ff3259b0b9b09af1ed1cb64cfde453450ab7eb92 (diff) | |
| download | rust-e826d1bd7386de9e631136e7ebbe0e63d789f280.tar.gz rust-e826d1bd7386de9e631136e7ebbe0e63d789f280.zip | |
have checkboxes only point to date-check lines in files (#1603)
They currently also point to filenames, which is redundant. current - [ ] thir.md - [ ] line 7: 2022-04 - [ ] line 60: 2022-08 - [ ] traits/chalk.md - [ ] line 4: 2022-05 proposed - thir.md - [ ] line 7: 2022-04 - [ ] line 60: 2022-08 - traits/chalk.md - [ ] line 4: 2022-05
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/ci/date-check/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/date-check/src/main.rs b/src/doc/rustc-dev-guide/ci/date-check/src/main.rs index 70fce8b1c16..d9e8145a318 100644 --- a/src/doc/rustc-dev-guide/ci/date-check/src/main.rs +++ b/src/doc/rustc-dev-guide/ci/date-check/src/main.rs @@ -170,7 +170,7 @@ fn main() { for (path, dates) in dates_by_file { println!( - "- [ ] {}", + "- {}", path.strip_prefix(&root_dir_path).unwrap_or(&path).display(), ); for (line, date) in dates { |