From 24f8c576bea55a5b99dd748e7a75b136fc76a114 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Sat, 11 Apr 2020 21:55:05 +1000
Subject: [PATCH] Coding style.

---
 make-readme.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/make-readme.py b/make-readme.py
index df7463d..e68107c 100755
--- a/make-readme.py
+++ b/make-readme.py
@@ -8,10 +8,6 @@
 import eris.tools as tools
 
 
-def tool_markup(tool):
-    return f"[{tool.__name__}]({tool.url})"
-
-
 def main():
     all_tools = ([(["*"], tools.generic_tools() +
                    [tools.git_blame, tools.git_log])] +