diff options
Diffstat (limited to 'base/gsl/gsl.install')
-rw-r--r-- | base/gsl/gsl.install | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/base/gsl/gsl.install b/base/gsl/gsl.install new file mode 100644 index 000000000..c5697deda --- /dev/null +++ b/base/gsl/gsl.install @@ -0,0 +1,21 @@ + 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 + + } + |