Ludovic Courtès <l...@gnu.org> writes: > I think this is best answered by the manuals: > > http://www.gnu.org/software/guile/manual/html_node/GDB-Support.html > > http://sourceware.org/gdb/current/onlinedocs/gdb/objfile_002dgdbdotext-file.html
Thanks -- that helps. It looks like the right place for it in Debian is /usr/share/gdb/auto-load. -- Rob Browning rlb @defaultvalue.org and @debian.org GPG as of 2011-07-10 E6A9 DA3C C9FD 1FF8 C676 D2C4 C0F0 39E9 ED1B 597A GPG as of 2002-11-03 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4
