From 7bb614e399300a80a68cd5196c1fd1f96d44e0af Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 9 Apr 2015 10:16:08 -0700
Subject: [PATCH] Adapt 'make change-history' to coding cookie

* Makefile.in (change-history): Adjust to change of format of
ChangeLog file, which now has a coding cookie before an indented
copyright notice.
---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 55fb54a156c..a61cbc627b7 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1110,7 +1110,7 @@ unchanged-history-files:
 # Copy newer commit messages to the start of the ChangeLog history file,
 # and consider them to be older.
 change-history: ChangeLog unchanged-history-files
-	(sed '/^Copyright/,$$d' <ChangeLog && cat $(CHANGELOG_N)) \
+	(sed '/^;; Local Variables:/,$$d' <ChangeLog && cat $(CHANGELOG_N)) \
 	  >$(CHANGELOG_N).tmp
 	new_origin=$$(git log --pretty=format:%H HEAD^!) && \
 	sed 's/^\(gen_origin *= *\).*/\1'"$$new_origin/" \
-- 
2.11.4.GIT