Update update_readme.py

dmarx · Aug 6, 2023 · 33e14d3 · 33e14d3
1 parent 7fbe479
commit 33e14d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/update_readme.py b/scripts/update_readme.py
@@ -336,6 +336,7 @@ def make_badges(unq_tags, sep=' '):
         readme_stub = f.read()
     readme = readme_stub.replace('{TOC}', toc_str)
     readme = readme.replace('{tags}', make_badges(unq_tags))
+    readme += f"\n\n<!--\n{[(k, len(v)) for k,v in unq_tags.items()]}\n--!>"
     readme = readme.strip()
 if not readme:
     with open('empty.stub') as f: