diff options
| author | Michał Masłowski <mtjm@mtjm.eu> | 2012-02-07 19:13:57 +0100 |
|---|---|---|
| committer | Michał Masłowski <mtjm@mtjm.eu> | 2012-02-07 19:13:57 +0100 |
| commit | 7daf2cc65f7bef79af567cee267faad64605326a (patch) | |
| tree | 7a89b65864bed2471b80827f2822848787dd813e /libre/texlive-bin-libre/texlive.install | |
| parent | 4c324305468e1d64d3575ca84956dcff6aa11595 (diff) | |
| download | abslibre-7daf2cc65f7bef79af567cee267faad64605326a.tar.gz abslibre-7daf2cc65f7bef79af567cee267faad64605326a.tar.bz2 abslibre-7daf2cc65f7bef79af567cee267faad64605326a.zip | |
Update texlive-bin-libre.
Diffstat (limited to 'libre/texlive-bin-libre/texlive.install')
| -rw-r--r-- | libre/texlive-bin-libre/texlive.install | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/libre/texlive-bin-libre/texlive.install b/libre/texlive-bin-libre/texlive.install index 9307c536b..b85850123 100644 --- a/libre/texlive-bin-libre/texlive.install +++ b/libre/texlive-bin-libre/texlive.install @@ -1,3 +1,6 @@ +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() { echo ">>> texlive: updating the filename database..." usr/bin/mktexlsr @@ -5,6 +8,11 @@ post_install() { usr/bin/fmtutil-sys --all 1>/dev/null echo " done." echo " (logs are under /var/lib/texmf/web2c/<engine>/<formatname>.log)" + + [[ -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() { @@ -14,5 +22,16 @@ post_upgrade() { usr/bin/fmtutil-sys --all 1>/dev/null echo " done." echo " (logs are under /var/lib/texmf/web2c/<engine>/<formatname>.log)" + + [[ -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 +} |