diff options
author | Erich Eckner <git@eckner.net> | 2016-07-21 13:03:32 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2016-07-21 13:06:34 +0200 |
commit | 72022b026c3e7d1bbab4052077d3c276d6604139 (patch) | |
tree | d87d50a248e4742c8559fa0e389d0ad38da1bd59 /wurzel-mp | |
parent | 0f02cb32887aef881d0fe55435e2733c2a99309a (diff) | |
download | archlinuxewe-72022b026c3e7d1bbab4052077d3c276d6604139.tar.xz |
Wurzelklasse neu
Diffstat (limited to 'wurzel-mp')
-rw-r--r-- | wurzel-mp/PKGBUILD | 35 | ||||
-rw-r--r-- | wurzel-mp/wurzel-mp | 19 |
2 files changed, 54 insertions, 0 deletions
diff --git a/wurzel-mp/PKGBUILD b/wurzel-mp/PKGBUILD new file mode 100644 index 000000000..2062a460a --- /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 000000000..453ee4c97 --- /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 "$@" +} |