diff options
Diffstat (limited to '')
| -rw-r--r-- | latex-fitch/PKGBUILD | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/latex-fitch/PKGBUILD b/latex-fitch/PKGBUILD new file mode 100644 index 0000000..dfa2de3 --- /dev/null +++ b/latex-fitch/PKGBUILD @@ -0,0 +1,18 @@ +# Maintainer: Mattias Andrée <`base64 -d`(bWFhbmRyZWUK)@member.fsf.org> +# Contributor: Lawrence Lee <valheru@facticius.net> +pkgname=latex-fitch +pkgver=1.6 +pkgrel=1 +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) +md5sums=('d62bdd0267c217d6017baef950b9205a') + +build() { + mkdir -p $startdir/pkg/usr/share/texmf-dist/tex/latex/fitch || return 1 + cp $startdir/fitch.sty $startdir/pkg/usr/share/texmf-dist/tex/latex/fitch || return 1 +} |