diff options
| author | Mattias Andrée <maandree@operamail.com> | 2013-09-11 07:55:26 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2013-09-11 07:55:26 +0200 |
| commit | e883adb7307caa4645275c8e2f5586cad64f6f2d (patch) | |
| tree | 0ac1fc04bd0d98204555fe3f2585a068e0965459 /latex-fitch-uoo | |
| parent | new pkgbuild for latex-fitch using mirrored source (diff) | |
| download | aur-packages-e883adb7307caa4645275c8e2f5586cad64f6f2d.tar.gz aur-packages-e883adb7307caa4645275c8e2f5586cad64f6f2d.tar.bz2 aur-packages-e883adb7307caa4645275c8e2f5586cad64f6f2d.tar.xz | |
add alternative latex fitch package
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'latex-fitch-uoo')
| -rw-r--r-- | latex-fitch-uoo/PKGBUILD | 21 | ||||
| -rw-r--r-- | latex-fitch-uoo/fitch.install | 11 |
2 files changed, 32 insertions, 0 deletions
diff --git a/latex-fitch-uoo/PKGBUILD b/latex-fitch-uoo/PKGBUILD new file mode 100644 index 0000000..8f9ef81 --- /dev/null +++ b/latex-fitch-uoo/PKGBUILD @@ -0,0 +1,21 @@ +# Maintainer: Mattias Andrée <`base64 -d`(bWFhbmRyZWUK)@member.fsf.org> + +pkgname=latex-fitch-uoo +pkgver=0.5 +pkgrel=1 +pkgdesc="LaTeX macros for Fitch style natural deduction" +arch=('any') +url="http://www.mathstat.dal.ca/~selinger/fitch" +license=('GPL') +depends=('texlive-core') +install=fitch.install +source=('http://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 new file mode 100644 index 0000000..e1c1d5e --- /dev/null +++ b/latex-fitch-uoo/fitch.install @@ -0,0 +1,11 @@ +post_upgrade() { + echo " updating the filename database..." + texconfig-sys rehash + echo " done." +} + +post_remove() { + echo " updating the filename database..." + texconfig-sys rehash + echo " done." +} |