1 files changed, 12 insertions, 0 deletions
diff --git a/cfg.mk b/cfg.mk
new file mode 100644
index 0000000..48d42d7
--- /dev/null
+++ b/cfg.mk
@@ -0,0 +1,12 @@
+old_NEWS_hash = d41d8cd98f00b204e9800998ecf8427e
+
+list_authors = $(GIT) log --pretty=format:%an
+
+sc_git_authors_known:
+	@$(list_authors) \
+	  | sort -u \
+	  | while read line ; \
+	    do $(GREP) "$$line" $(srcdir)/AUTHORS >/dev/null 2>&1 \
+	      || (echo "$$line does not appear in AUTHORS." ; \
+		  exit 1) ; \
+	    done