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/.gitignore | 1 + cedilla/watch | 1 + 2 files changed, 2 insertions(+) create mode 100644 cedilla/.gitignore (limited to 'cedilla') diff --git a/cedilla/.gitignore b/cedilla/.gitignore new file mode 100644 index 0000000..7f65160 --- /dev/null +++ b/cedilla/.gitignore @@ -0,0 +1 @@ +/NEWS.text 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