diff options
author | root <root@rshg054.dnsready.net> | 2013-04-28 01:12:25 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-04-28 01:12:25 -0700 |
commit | f38edbff3878008c8b2ae1ca8a496c349763017b (patch) | |
tree | 4f9ff6891842a0a6dcd9c0c8424ec8f16527e023 /extra/gdb/gdb.install | |
parent | a27a6af53095da314eca1d33911f72775dfc2bce (diff) |
Sun Apr 28 01:11:42 PDT 2013
Diffstat (limited to 'extra/gdb/gdb.install')
-rw-r--r-- | extra/gdb/gdb.install | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra/gdb/gdb.install b/extra/gdb/gdb.install index 986ec547c..e260d0225 100644 --- a/extra/gdb/gdb.install +++ b/extra/gdb/gdb.install @@ -1,7 +1,8 @@ infodir=usr/share/info -filelist=(annotate.info gdb.info gdb.info-1 gdb.info-2 gdb.info-3 gdb.info-4 gdbint.info gdbint.info-1 gdbint.info-2 stabs.info) +filelist=(annotate.info gdb.info{,-{1,2,3,4,5,6,7}} gdbint.info{,-{1,2}} stabs.info) post_install() { + [[ -x usr/bin/install-info ]] || return 0 for file in ${filelist[@]}; do install-info $infodir/$file.gz $infodir/dir 2> /dev/null done @@ -12,6 +13,7 @@ post_upgrade() { } pre_remove() { + [[ -x usr/bin/install-info ]] || return 0 for file in ${filelist[@]}; do install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null done |