aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2013-09-11 07:55:26 +0200
committerMattias Andrée <maandree@operamail.com>2013-09-11 07:55:26 +0200
commite883adb7307caa4645275c8e2f5586cad64f6f2d (patch)
tree0ac1fc04bd0d98204555fe3f2585a068e0965459
parentnew pkgbuild for latex-fitch using mirrored source (diff)
downloadaur-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>
-rw-r--r--latex-fitch-uoo/PKGBUILD21
-rw-r--r--latex-fitch-uoo/fitch.install11
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."
+}