Show when ChangeLog is rebuilt.

This commit is contained in:
Adam Spiers 2011-12-06 17:24:44 +00:00
parent 9dbe5e4c92
commit 8fea1a8dbb

View file

@ -191,6 +191,7 @@ ChangeLog: doc/ChangeLog.OLD
| sed 's/^\([A-Z]\)\t/ \1 /'; \ | sed 's/^\([A-Z]\)\t/ \1 /'; \
cat $< \ cat $< \
) > $@; \ ) > $@; \
echo "Rebuilt $@ from git commit history."; \
else \ else \
echo "Not in a git repository; can't update ChangeLog."; \ echo "Not in a git repository; can't update ChangeLog."; \
fi fi