diff options
Diffstat (limited to 'libre/texlive-bin/texlive.install')
| -rw-r--r-- | libre/texlive-bin/texlive.install | 18 |
1 files changed, 0 insertions, 18 deletions
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 } |