diff make-dist @ 20238:72b506b0fbcc

Don't ask questions when replacing README.
author Karl Heuer <kwzh@gnu.org>
date Sat, 08 Nov 1997 04:02:33 +0000
parents 815e934f5ffc
children 036dac77f78f
line wrap: on
line diff
--- a/make-dist	Sat Nov 08 03:09:24 1997 +0000
+++ b/make-dist	Sat Nov 08 04:02:33 1997 +0000
@@ -253,7 +253,7 @@
    '$1 " " $2 " " $3 " " $4 " " $5 == "This directory tree holds version" { $6 = version; print $0 }
     $1 " " $2 " " $3 " " $4 " " $5 != "This directory tree holds version"' \
    version=${version} README > tmp.README
- mv tmp.README README)
+ mv -f tmp.README README)
 
 
 echo "Creating subdirectories"