aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmaketgz3
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