diff --git a/tools/updateAuthors.awk b/tools/updateAuthors.awk
new file mode 100644
index 0000000000..ad93357353
--- /dev/null
+++ b/tools/updateAuthors.awk
@@ -0,0 +1,13 @@
+# git log --pretty='format:%ae %an' | tail -r |  awk -f 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 ">";
+  }
+}
+