gdb.texinfo: Expand documentation for debuginfod
authorAaron Merey <amerey@redhat.com>
Sat, 30 Oct 2021 00:49:29 +0000 (20:49 -0400)
committerAaron Merey <amerey@redhat.com>
Sat, 30 Oct 2021 00:58:21 +0000 (20:58 -0400)
commit3ea44f212995117414bf0fee9aaa430f1e59fa20
treec6c655ff78cc738eea5c00b2f7533ff641181bfb
parent7811fa5995fcb68d30edc0f53d8823c011a12854
gdb.texinfo: Expand documentation for debuginfod

Add section describing GDB's usage of debuginfod.

Refer to this new section in the description of the '--with-debuginfod'
configure option.

Mention debuginfod in the 'Separate Debug Files' section.
gdb/doc/gdb.texinfo