# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 878961753 0
# Node ID 72b506b0fbcca5de162859236d12ddac18285f5d
# Parent  185b19c23dd25a696f1b7e63d04fddb1e1a7813e
Don't ask questions when replacing README.

diff -r 185b19c23dd2 -r 72b506b0fbcc make-dist
--- 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"