diff options
Diffstat (limited to 'latex-fitch-uoo')
| -rw-r--r-- | latex-fitch-uoo/.gitignore | 1 | ||||
| -rw-r--r-- | latex-fitch-uoo/PKGBUILD | 21 | ||||
| -rw-r--r-- | latex-fitch-uoo/fitch.install | 11 | ||||
| l--------- | latex-fitch-uoo/upload | 1 | ||||
| -rwxr-xr-x | latex-fitch-uoo/watch | 21 |
5 files changed, 0 insertions, 55 deletions
diff --git a/latex-fitch-uoo/.gitignore b/latex-fitch-uoo/.gitignore deleted file mode 100644 index dd1f40a..0000000 --- a/latex-fitch-uoo/.gitignore +++ /dev/null @@ -1 +0,0 @@ -fitch diff --git a/latex-fitch-uoo/PKGBUILD b/latex-fitch-uoo/PKGBUILD deleted file mode 100644 index 14a4b2a..0000000 --- a/latex-fitch-uoo/PKGBUILD +++ /dev/null @@ -1,21 +0,0 @@ -# Maintainer: Mattias Andrée <m@`base64 -d`(bWFhbmRyZWU).se> - -pkgname=latex-fitch-uoo -pkgver=0.5 -pkgrel=1 -pkgdesc="LaTeX macros for Fitch style natural deduction" -arch=('any') -url="https://www.mathstat.dal.ca/~selinger/fitch" -license=('GPL') -depends=('texlive-core') -install=fitch.install -source=('https://www.mathstat.dal.ca/~selinger/fitch/fitch-0.5.tgz') -sha256sums=('0d3173a63420eb5b9981b9c7db0bad0b24278272a666cc31e0c7af8a14ecc4af') - -package() { - cd "${srcdir}/fitch-${pkgver}" - install -Dm644 fitch.sty "${pkgdir}/usr/share/texmf-dist/tex/latex/fitch" - install -Dm644 fitchdoc.ps "${pkgdir}/usr/share/doc/latex-fitch-uoo.ps" - ## You can change .ps to .pdf if you prefer PDF over PostScript. -} - diff --git a/latex-fitch-uoo/fitch.install b/latex-fitch-uoo/fitch.install deleted file mode 100644 index e1c1d5e..0000000 --- a/latex-fitch-uoo/fitch.install +++ /dev/null @@ -1,11 +0,0 @@ -post_upgrade() { - echo " updating the filename database..." - texconfig-sys rehash - echo " done." -} - -post_remove() { - echo " updating the filename database..." - texconfig-sys rehash - echo " done." -} diff --git a/latex-fitch-uoo/upload b/latex-fitch-uoo/upload deleted file mode 120000 index 1e7a8be..0000000 --- a/latex-fitch-uoo/upload +++ /dev/null @@ -1 +0,0 @@ -../upload
\ No newline at end of file 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 - |