Update README lint counter message

This commit is contained in:
Oliver Schneider 2017-09-01 10:36:20 +02:00
parent 045139613a
commit 0f0075df09
No known key found for this signature in database
GPG Key ID: A69F8D225B3AD7D9
2 changed files with 3 additions and 4 deletions

View File

@ -180,8 +180,7 @@ transparently:
## Lints
There are 209 lints included in this crate:
https://rust-lang-nursery.github.io/rust-clippy/master/index.html
[There are 209 lints included in this crate](https://rust-lang-nursery.github.io/rust-clippy/master/index.html)
More to come, please [file an issue](https://github.com/rust-lang-nursery/rust-clippy/issues) if you have ideas!

4
util/update_lints.py Normal file → Executable file
View File

@ -159,8 +159,8 @@ def main(print_only=False, check=False):
# update the lint counter in README.md
changed = replace_region(
'README.md',
r'^There are \d+ lints included in this crate:', "",
lambda: ['There are %d lints included in this crate:\n' %
r'^\[There are \d+ lints included in this crate\]\(https://rust-lang-nursery.github.io/rust-clippy/master/index.html\)$', "",
lambda: ['[There are %d lints included in this crate](https://rust-lang-nursery.github.io/rust-clippy/master/index.html)\n' %
(len(lints) + len(restriction_lints))],
write_back=not check)