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