From 472e769077880733441136516ce8f71be35939f1 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 8 Oct 2024 20:28:25 +0200 Subject: Remove some old packages MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- latex-fitch-uoo/watch | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 latex-fitch-uoo/watch (limited to 'latex-fitch-uoo/watch') diff --git a/latex-fitch-uoo/watch b/latex-fitch-uoo/watch deleted file mode 100755 index f9ce5ed..0000000 --- a/latex-fitch-uoo/watch +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -[ -f fitch ] && rm fitch - -wget 'http://www.mathstat.dal.ca/~selinger/fitch' -O fitch >/dev/null 2>/dev/null - -if [ $? = 0 ]; then - [ -f unfetchable ] && rm unfetchable - md5sum fitch > new-sum - touch sum - if [ "$(cat sum)" = "$(cat new-sum)" ]; then - rm new-sum - else - mv new-sum sum - echo 'latex-fitch-uoo' - fi -elif [ ! -f unfetchable ]; then - touch unfetchable - echo 'latex-fitch-uoo (unfetchable)' -fi - -- cgit v1.2.3-70-g09d2