Don't ask questions when replacing README.

diff --git a/make-dist b/make-dist
index 266610306178d4c686f15a642edf732e80d51a28..3c78a1ab79e0c8eedcc6a29697ab0d6554bc01d9 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -253,7 +253,7 @@ echo "Updating version number in README"
    '$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"