diff options
Diffstat (limited to 'latex-fitch/watch')
| -rwxr-xr-x | latex-fitch/watch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/latex-fitch/watch b/latex-fitch/watch deleted file mode 100755 index 9c62075..0000000 --- a/latex-fitch/watch +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -[ -f fitch.sty.new ] && rm fitch.sty.new - -wget 'http://folk.uio.no/johanw/fitch.sty' -O fitch.sty.new >/dev/null 2>/dev/null - -if [ $? = 0 ]; then - [ -f unfetchable ] && rm unfetchable - md5sum fitch.sty.new > new-sum - touch sum - if [ "$(cat sum)" = "$(cat new-sum)" ]; then - rm new-sum - else - mv new-sum sum - echo 'latex-fitch' '('"$(cat sum)"')' - fi -elif [ ! -f unfetchable ]; then - touch unfetchable - echo 'latex-fitch (unfetchable)' -fi - |