maketgz: produce CHANGES automatically with the 1000 most recent commits

It passes the git log output through 'log2changes.pl' to produce
the lot.

1 files changed, 3 insertions, 0 deletions

diff --git a/maketgz b/maketgz
index a4c5614ba..d4bcd269a 100755
--- a/maketgz
+++ b/maketgz
@@ -126,6 +126,9 @@ make -s html
 echo "make pdf"
 make -s pdf
 
+echo "produce CHANGES"
+git log --pretty=fuller --no-color --date=short --decorate=full -1000 | ./log2changes.pl > CHANGES.dist
+
 ############################################################################
 #
 # Now run make dist to generate a tar.gz archive