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