maketgz: produce CHANGES automatically with the 1000 most recent commits

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

diff --git a/maketgz b/maketgz
index a4c5614ba814acfbe6a5a5e8508c54ead119ed64..d4bcd269a63efa46994ac85ff20904b9857a8f94 100755 (executable)
--- 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