diff --git a/tools/updateAuthors.awk b/tools/updateAuthors.awk
deleted file mode 100644
index 4ede6ffcea..0000000000
--- a/tools/updateAuthors.awk
+++ /dev/null
@@ -1,13 +0,0 @@
-# git log --pretty='format:%ae %an' | tac | awk -f tools/updateAuthors.awk
-{
-  if (!x[$1]++) {
-    #print $0
-    n = split($0, a, " ");
-    s = a[2];
-    for (i = 3; i <= n ; i++) {
-      s = s " " a[i];
-    }
-    print s " <" $1 ">";
-  }
-}
-