diff options
author | Karl Heuer <kwzh@gnu.org> | 1997-11-08 04:02:33 +0000 |
---|---|---|
committer | Karl Heuer <kwzh@gnu.org> | 1997-11-08 04:02:33 +0000 |
commit | af559a4e281a37d2accf2be5e1dce8e3e8db214f (patch) | |
tree | 3b76c16c7574ac94c2be2e0ae20b1039832321d1 /make-dist | |
parent | e36acf38cf5ed8b10b4b7104cc6a777f9b72ee94 (diff) | |
download | emacs-af559a4e281a37d2accf2be5e1dce8e3e8db214f.tar.gz |
Don't ask questions when replacing README.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 26661030617..3c78a1ab79e 100755 --- 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" |