CHANGES: generate from script

The CHANGES file is now generated automatically with 'git2changes.pl',
invoked by the maketgz script which is used to build release archives.

The former human edited CHANGES file was renamed to CHANGES.0 in git.

1 files changed, 3 insertions, 0 deletions

diff --git a/maketgz b/maketgz
index 6232688..e3bb77a 100755
--- a/maketgz
+++ b/maketgz
@@ -59,6 +59,9 @@ print "running configure\n";
 print "running make pdf\n";
 `make -s pdf`;
 
+print "produce CHANGES\n";
+`git log --pretty=fuller --no-color --date=short --decorate=full -1000 | ./git2changes.pl > CHANGES.dist`;
+
 # now make the actual tarball
 print "running make dist\n";
 `make dist VERSION=$version`;