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 | 2e55ad5ab527bceb087bb0b970dd3db257333ee1 (patch) | |
tree | 9b54c6ecd2a1fc29bc81a58c7e46a7b1f0323a4e /make-dist | |
parent | cac90a787ccef3e8e63499a9fd1555ac6998266a (diff) | |
download | emacs-2e55ad5ab527bceb087bb0b970dd3db257333ee1.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" |