diff options
| author | Mattias Andrée <maandree@operamail.com> | 2013-09-11 07:35:35 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2013-09-11 07:35:35 +0200 |
| commit | 7261fbec1ce8dcb9bb7a0df85779926cae6e5b37 (patch) | |
| tree | f3ba05298e61d31e1cfa2be7bd78b9bcf7e56cb1 /latex-fitch/source | |
| parent | add the source for latex-fitch as the upstream is not longer available (diff) | |
| download | aur-packages-7261fbec1ce8dcb9bb7a0df85779926cae6e5b37.tar.gz aur-packages-7261fbec1ce8dcb9bb7a0df85779926cae6e5b37.tar.bz2 aur-packages-7261fbec1ce8dcb9bb7a0df85779926cae6e5b37.tar.xz | |
new pkgbuild for latex-fitch using mirrored source
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'latex-fitch/source')
| -rw-r--r-- | latex-fitch/source/PKGBUILD | 19 | ||||
| -rw-r--r-- | latex-fitch/source/fitch.install | 11 |
2 files changed, 30 insertions, 0 deletions
diff --git a/latex-fitch/source/PKGBUILD b/latex-fitch/source/PKGBUILD new file mode 100644 index 0000000..7275bee --- /dev/null +++ b/latex-fitch/source/PKGBUILD @@ -0,0 +1,19 @@ +# Maintainer: Mattias Andrée <`base64 -d`(bWFhbmRyZWUK)@member.fsf.org> +# Contributor: Lawrence Lee <valheru@facticius.net> + +pkgname=latex-fitch +pkgver=1.6 +pkgrel=2 +pkgdesc="A LaTeX package for Fitch-style proofs" +arch=('any') +url="http://folk.uio.no/johanw/FitchSty.html" +license=('GPL') +depends=('tetex') +install=fitch.install +# source=(http://folk.uio.no/johanw/fitch.sty) +source=(fitch.sty) +md5sums=('d62bdd0267c217d6017baef950b9205a') + +package() { + install -Dm644 "${srcdir}/fitch.sty" "${pkgdir}/usr/share/texmf-dist/tex/latex/fitch" +} diff --git a/latex-fitch/source/fitch.install b/latex-fitch/source/fitch.install new file mode 100644 index 0000000..e1c1d5e --- /dev/null +++ b/latex-fitch/source/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." +} |