summaryrefslogtreecommitdiff
path: root/Make-dist
diff options
context:
space:
mode:
Diffstat (limited to 'Make-dist')
-rw-r--r--Make-dist1
1 files changed, 1 insertions, 0 deletions
diff --git a/Make-dist b/Make-dist
index 33e257b67c..28c5d8f7aa 100644
--- a/Make-dist
+++ b/Make-dist
@@ -210,6 +210,7 @@ README: README.template version.c
sed -e 's/RELEASE/$(release)/' -e 's/VERSION/$(version)/' < $< > $@
# Make it unwritable so I won't change it by mistake.
chmod 444 $@
+ test -d CVS && commit -m'Remade for $(release)-$(version)' $@
endif # Subdirectory vs. parent makefile