w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

commit 8f4637ce1c6c38497ed74e87c34f6e2cba8c8927
parent a46fd13ba98fe1d31d24787f12a5b944c5109b80
Author: ukai <ukai>
Date:   Mon,  9 Sep 2002 13:51:46 +0000

[w3m-dev 03299] remove file before copying (install-sh)
* install-sh: remove file before copying
From: Hironori SAKAMOTO <h-saka@lsi.nec.co.jp>

Diffstat:
MChangeLog | 5+++++
Minstall-sh | 3+++
2 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog @@ -1,5 +1,10 @@ 2002-09-09 Hironori SAKAMOTO <h-saka@lsi.nec.co.jp> + * [w3m-dev 03299] remove file before copying (install-sh) + * install-sh: remove file before copying + +2002-09-09 Hironori SAKAMOTO <h-saka@lsi.nec.co.jp> + * [w3m-dev 03298] [ -f instead of [ -e (configure) * configure: use test -f instead of test -e diff --git a/install-sh b/install-sh @@ -38,6 +38,9 @@ else dest=$2 fi +if [ -f $dest ]; then + rm -f $dest +fi cp $file $dest if [ -n "$strip" ]; then $strip $dest