From e9e28726d7736af065473638b422ad1e1d60b6e4 Mon Sep 17 00:00:00 2001 From: tnut Date: Sat, 15 Oct 2011 16:17:22 +0200 Subject: gsl dans extra --- base/gsl/gsl.install | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 base/gsl/gsl.install (limited to 'base/gsl/gsl.install') diff --git a/base/gsl/gsl.install b/base/gsl/gsl.install deleted file mode 100644 index c5697deda..000000000 --- a/base/gsl/gsl.install +++ /dev/null @@ -1,21 +0,0 @@ - infodir=/usr/share/info - filelist=(gsl-ref.info.gz) - - post_install() { - for file in ${filelist[@]}; do - install-info $infodir/$file $infodir/dir 2> /dev/null - done - - } - - post_upgrade() { - post_install $1 - } - - pre_remove() { - for file in ${filelist[@]}; do - install-info --delete $infodir/$file $infodir/dir 2> /dev/null - done - - } - -- cgit v1.2.3-70-g09d2