old_NEWS_hash = 4a36fa617fcaeb186a75bc940df92f25

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