diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-11 03:21:28 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-11 03:21:28 +0000 |
commit | 121ee20158ca9869daadf9a2993b431af9661cb6 (patch) | |
tree | 3b8f82250a4d0f25ef33e3ea3300c24a74c262dd /extra/gdb/gdb.install | |
parent | ffe0bbfd85b1341f3b15f809ea92f330d2f7cea3 (diff) |
Tue Feb 11 03:19:20 UTC 2014
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 |