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.

1 files changed, 1 insertions, 1 deletions

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/" \