diff options
Diffstat (limited to 'extra/gdb/gdb.install')
| -rw-r--r-- | extra/gdb/gdb.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/gdb/gdb.install b/extra/gdb/gdb.install index e260d0225..34b9384bd 100644 --- a/extra/gdb/gdb.install +++ b/extra/gdb/gdb.install @@ -1,5 +1,5 @@ infodir=usr/share/info -filelist=(annotate.info gdb.info{,-{1,2,3,4,5,6,7}} gdbint.info{,-{1,2}} stabs.info) +filelist=(annotate.info gdb.info{,-{1,2,3,4,5,6}} stabs.info) post_install() { [[ -x usr/bin/install-info ]] || return 0 |