summaryrefslogtreecommitdiff
path: root/wurzel-mp
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2016-07-21 13:03:32 +0200
committerErich Eckner <git@eckner.net>2016-07-21 13:06:34 +0200
commit72022b026c3e7d1bbab4052077d3c276d6604139 (patch)
treed87d50a248e4742c8559fa0e389d0ad38da1bd59 /wurzel-mp
parent0f02cb32887aef881d0fe55435e2733c2a99309a (diff)
downloadarchlinuxewe.git.save-72022b026c3e7d1bbab4052077d3c276d6604139.tar.xz
Wurzelklasse neu
Diffstat (limited to 'wurzel-mp')
-rw-r--r--wurzel-mp/PKGBUILD35
-rw-r--r--wurzel-mp/wurzel-mp19
2 files changed, 54 insertions, 0 deletions
diff --git a/wurzel-mp/PKGBUILD b/wurzel-mp/PKGBUILD
new file mode 100644
index 00000000..2062a460
--- /dev/null
+++ b/wurzel-mp/PKGBUILD
@@ -0,0 +1,35 @@
+# Maintainer: Erich Eckner <arch at eckner dot net>
+# Packager: Markus Oehme, <mo at wurzel dot org>
+pkgname=wurzel-mp
+pkgver=0.3
+pkgrel=1
+pkgdesc="Wurzel Klasse fuer Metapost"
+arch=('any')
+url="http://www.wurzel.org"
+license=('GPL')
+groups=('wurzel')
+depends=('bash')
+makedepends=()
+checkdepends=()
+optdepends=()
+provides=()
+conflicts=()
+replaces=()
+backup=()
+options=()
+install='wurzel-mp'
+source=(
+ "http://www.wurzel.org/distfiles/${pkgname}-${pkgver}.tar.bz2"
+)
+sha512sums=('57e0397802b1d22625f5fee437857d688bf75bb679d5b3aca369969642417ee5921e8401943bc52eeda8c2fea459791ccb4bd49a70d460f7f3f12850477b89d6')
+
+package() {
+
+ TEXMFLOCAL="/usr/share/texmf"
+ cd "${pkgname}-${pkgver}"
+ mkdir -p "${pkgdir}/${TEXMFLOCAL}"
+ cp -R "tex-files/doc" "${pkgdir}/${TEXMFLOCAL}"
+ cp -R "tex-files/metapost" "${pkgdir}/${TEXMFLOCAL}"
+ cp -R "tex-files/tex" "${pkgdir}/${TEXMFLOCAL}"
+
+}
diff --git a/wurzel-mp/wurzel-mp b/wurzel-mp/wurzel-mp
new file mode 100644
index 00000000..453ee4c9
--- /dev/null
+++ b/wurzel-mp/wurzel-mp
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+_refresh() {
+ TEXMFLOCAL="$(texconfig conf | grep TEXMFLOCAL | cut -f2 -d'=' | sed 's|^.*:||')"
+ echo "Rebuilding tex filename database"
+ texhash --quiet "${TEXMFLOCAL}"
+}
+
+post_install() {
+ _refresh "$@"
+}
+
+post_upgrade() {
+ _refresh "$@"
+}
+
+post_remove() {
+ _refresh "$@"
+}