diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 1 |
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 |