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.
This commit is contained in:
Paul Eggert 2015-04-09 10:16:08 -07:00
parent 3311ace9c5
commit 7bb614e399

View file

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