NEWS and documentation for info sources [-dirname | -basename] [--] [REGEXP].
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sat, 3 Aug 2019 19:20:44 +0000 (21:20 +0200)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sat, 3 Aug 2019 19:27:51 +0000 (21:27 +0200)
commitae60f04e08bf48f65d9101a6ab63f3806e6fca5e
tree1c34306cf263ec43333a9c7f109fd1dd7965fda0
parentdb4dc13eebbd73cddfe3abb6c001982c7bdbba3f
NEWS and documentation for info sources [-dirname | -basename] [--] [REGEXP].

gdb/ChangeLog
2019-08-03  Philippe Waroquiers  <philippe.waroquiers@skynet.be>

        * NEWS: Mention changes to "info sources" command.

gdb/doc/ChangeLog
2019-08-03  Philippe Waroquiers  <philippe.waroquiers@skynet.be>

        * gdb.texinfo (Symbols): Document new args -dirname and -basename
        of "info sources" command.
gdb/ChangeLog
gdb/NEWS
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo