1 files changed, 19 insertions, 0 deletions
diff --git a/helpers/changed-files.awk b/helpers/changed-files.awk
new file mode 100644
index 00000000..937ecd51
--- /dev/null
+++ b/helpers/changed-files.awk
@@ -0,0 +1,19 @@
+#! /usr/bin/gawk -f
+
+/^2014-/	{ nextfile }
+
+/^\t\*/	{
+	sub(/^\t\*[[:space:]]*/, "")
+	sub(/[:\[(].*/, "")
+	gsub(/,/, "")
+	for (i = 1; i <= NF; i++) {
+		fname = $i
+		if (! (fname in names))
+			names[fname]++
+	}
+}
+
+END {
+	for (i in names)
+		print i
+}