diff options
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 |