From 50d9cd9134279a9e94b71d5cfeef0542c405a898 Mon Sep 17 00:00:00 2001 From: tnut Date: Fri, 18 Dec 2009 19:37:09 +0100 Subject: gsl, déplacé dans base MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- extra/gsl/gsl.install | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 extra/gsl/gsl.install (limited to 'extra/gsl/gsl.install') diff --git a/extra/gsl/gsl.install b/extra/gsl/gsl.install deleted file mode 100644 index c5697deda..000000000 --- a/extra/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