diff options
| -rw-r--r-- | libre/texlive-bin/PKGBUILD | 4 | ||||
| -rw-r--r-- | libre/texlive-bin/texlive.install | 18 |
2 files changed, 2 insertions, 20 deletions
diff --git a/libre/texlive-bin/PKGBUILD b/libre/texlive-bin/PKGBUILD index 41e8a2e4f..1eb04d64b 100644 --- a/libre/texlive-bin/PKGBUILD +++ b/libre/texlive-bin/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 263784 2016-04-02 21:29:36Z foutrelis $ +# $Id: PKGBUILD 267050 2016-05-06 20:41:10Z arojas $ # Maintainer (Arch): Rémy Oudompheng <remy@archlinux.org> # Contributor (Arch): francois <francois.archlinux.org> # Maintainer: Michał Masłowski <mtjm@mtjm.eu> @@ -6,7 +6,7 @@ pkgname=texlive-bin pkgver=2015.37497 -pkgrel=11.parabola1 +pkgrel=12.parabola1 license=('GPL') arch=('i686' 'x86_64') makedepends=('cairo' 'pixman' 'graphite' 't1lib' 'gd' 'poppler=0.42.0' diff --git a/libre/texlive-bin/texlive.install b/libre/texlive-bin/texlive.install index a2b86eb1f..f84144388 100644 --- a/libre/texlive-bin/texlive.install +++ b/libre/texlive-bin/texlive.install @@ -1,6 +1,3 @@ -infodir=usr/share/info -filelist=(dvipng.info dvips.info eplain.info epspdf.info fontname.info kpathsea.info latex2e-es.info latex2e.info latex2man.info mf2pt1.info tds.info texdraw.info web2c.info) - post_install() { if [[ -f usr/bin/mktexlsr ]]; then echo ">>> texlive: updating the filename database..." @@ -12,10 +9,6 @@ post_install() { echo " done." echo " (logs are under /var/lib/texmf/web2c/<engine>/<formatname>.log)" fi - [[ -x usr/bin/install-info ]] || return 0 - for file in "${filelist[@]}"; do - install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null - done } post_upgrade() { @@ -35,15 +28,4 @@ post_upgrade() { echo " (logs are under /var/lib/texmf/web2c/<engine>/<formatname>.log)" fi fi - [[ -x usr/bin/install-info ]] || return 0 - for file in "${filelist[@]}"; do - install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null - done -} - -pre_remove() { - [[ -x usr/bin/install-info ]] || return 0 - for file in "${filelist[@]}"; do - install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null - done } |