diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-08-11 18:57:01 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-11 18:57:01 +0200 |
commit | e4ab2d9191c8bd10b70ed37b52d7e858bcea042c (patch) | |
tree | 9db84afb2350c9135facf1fc49d28d6db7ee080b /scripts/statistics.py | |
parent | eea5ca4078823230ff3a20cb1f7ec1cd541d2713 (diff) | |
download | vericert-e4ab2d9191c8bd10b70ed37b52d7e858bcea042c.tar.gz vericert-e4ab2d9191c8bd10b70ed37b52d7e858bcea042c.zip |
Add documentation badge to README
Diffstat (limited to 'scripts/statistics.py')
-rw-r--r-- | scripts/statistics.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/statistics.py b/scripts/statistics.py index 9ec460d..f3db9ff 100644 --- a/scripts/statistics.py +++ b/scripts/statistics.py @@ -31,7 +31,7 @@ def main(d): n_admitted, n_theorems, _ = collect(d) colour = pick_colour(n_admitted, n_theorems) - url = "https://img.shields.io/badge/Admitted%20Proofs-{}-{}?style=flat".format( + url = "https://img.shields.io/badge/admitted%20proofs-{}-{}?style=flat".format( str(n_admitted), colour) req = urllib.request.Request(url, headers={"User-Agent": "Mozilla/5.0"}) |