From 9ae73081f438595c95aa836a62c7ae5465748d70 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 20 Nov 2012 06:59:39 +0100 Subject: gitignore improvment + remove file to be downloaded if it already exists MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- cedilla/watch | 1 + 1 file changed, 1 insertion(+) (limited to 'cedilla/watch') diff --git a/cedilla/watch b/cedilla/watch index f319765..b59d99b 100755 --- a/cedilla/watch +++ b/cedilla/watch @@ -1,5 +1,6 @@ #!/bin/sh +[ -f 'NEWS.text' ] && rm 'NEWS.text' wget 'http://www.pps.univ-paris-diderot.fr/~jch/software/cedilla/NEWS.text' >/dev/null 2>/dev/null if [ $? = 0 ]; then [ -f unfetchable ] && rm unfetchable -- cgit v1.2.3-70-g09d2