Commit 72c35f5e authored by Etienne Renault's avatar Etienne Renault

go2pins: add Changelog generator

* Makefile, build-aux/gitlog-to-changelog : Here.
parent 06641dfe
......@@ -44,3 +44,18 @@ benchmark:
clean:
go clean
rm -rf output/ ltlrec
.PHONY: update-ChangeLog
update-ChangeLog:
@./build-aux/gitlog-to-changelog \
--format='%s%n%n%b%n' --no-cluster \
--strip-tab --strip-cherry-pick \
-- $$(cat ./.last-cl-gen).. \
>ChangeLog.tmp \
&& git rev-list -n 1 HEAD >.last-cl-gen.tmp \
&& (echo; cat ./ChangeLog) >>ChangeLog.tmp \
&& mv -f ChangeLog.tmp ./ChangeLog \
&& mv -f .last-cl-gen.tmp ./.last-cl-gen \
&& rm -f ChangeLog.tmp;
EXTRA_DIST += .last-cl-gen
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment