From e4ab2d9191c8bd10b70ed37b52d7e858bcea042c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 11 Aug 2020 18:57:01 +0200
Subject: Add documentation badge to README

---
 scripts/statistics.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/statistics.py')

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"})
-- 
cgit