Skip to content

Instantly share code, notes, and snippets.

@lucaswerkmeister
Created April 4, 2016 17:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lucaswerkmeister/a979f1e142d2ffc4bc1bb88a1fcaaf49 to your computer and use it in GitHub Desktop.
Save lucaswerkmeister/a979f1e142d2ffc4bc1bb88a1fcaaf49 to your computer and use it in GitHub Desktop.
fix for the mathpartir AUR package, suggested by frenchbeard
diff --git a/.SRCINFO b/.SRCINFO
index aa844b2..0d8e2ec 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
# Generated by mksrcinfo v8
-# Sun Apr 3 17:40:59 UTC 2016
+# Mon Apr 4 17:13:13 UTC 2016
pkgbase = mathpartir
pkgdesc = LaTeX package for typesetting type inference rules
pkgver = 1.3.1
@@ -11,7 +11,7 @@ pkgbase = mathpartir
depends = texlive-core
options = !strip
source = http://cristal.inria.fr/~remy/latex/mathpartir.tgz
- md5sums = aa2b95890d49f74c1babb60da2f7e84c
+ md5sums = 3f670db71394a86c87042682c128c977
pkgname = mathpartir
diff --git a/PKGBUILD b/PKGBUILD
index caf2422..9a46786 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -13,12 +13,12 @@ url="http://cristal.inria.fr/~remy/latex/"
options=(!strip)
install=texlive.install
source=('http://cristal.inria.fr/~remy/latex/mathpartir.tgz')
-md5sums=('aa2b95890d49f74c1babb60da2f7e84c')
+md5sums=('3f670db71394a86c87042682c128c977')
package() {
local lib="$pkgdir"/usr/share/texmf-dist/tex/latex
local doc="$pkgdir"/usr/share/doc/mathpartir
install -m755 -d "$lib" "$doc"
install -m644 -t "$lib" mathpartir.sty
- install -m644 -t "$doc" mathpartir.dvi mathpartir.pdf mathpartir.ps.gz mathpartir.tex
+ install -m644 -t "$doc" mathpartir.pdf mathpartir.tex
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment