diff options
| author | piernov <piernov@piernov.servegame.org> | 2012-08-06 00:22:51 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.servegame.org> | 2012-08-06 00:22:55 +0200 |
| commit | bf0f66d09c5917cca01c326687cd024777429086 (patch) | |
| tree | 03435e1d24cc1c73c4cc2b18112ad3693d2e1625 /gsl/gsl.install | |
| parent | d05297d929671f6886f5d8afb1997613917ab712 (diff) | |
| download | nutyx-extra-bf0f66d09c5917cca01c326687cd024777429086.tar.gz nutyx-extra-bf0f66d09c5917cca01c326687cd024777429086.tar.bz2 nutyx-extra-bf0f66d09c5917cca01c326687cd024777429086.tar.xz nutyx-extra-bf0f66d09c5917cca01c326687cd024777429086.zip | |
gsl 1.15-1 màj port
Diffstat (limited to 'gsl/gsl.install')
| -rw-r--r-- | gsl/gsl.install | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/gsl/gsl.install b/gsl/gsl.install deleted file mode 100644 index c5697deda..000000000 --- a/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 - - } - |