Improve docs of objfile filename method.
authorDoug Evans <dje@google.com>
Tue, 27 Jan 2015 18:03:15 +0000 (10:03 -0800)
committerDoug Evans <dje@google.com>
Tue, 27 Jan 2015 18:03:15 +0000 (10:03 -0800)
commit1b5493961ab1f65a3336b2178ba3d035a130f9f6
tree6d1d3b715e5645eed7077276b9bb659eeb2a6f64
parent0897ec15810bca3420ea7b8a91e491ed45780202
Improve docs of objfile filename method.

gdb/doc/ChangeLog:

* python.texi (Objfiles In Python) <Objfile.filename>: Improve docs.
* guile.texi (Objfiles In Guile) <objfile-filename>: Improve docs.
gdb/doc/ChangeLog
gdb/doc/guile.texi
gdb/doc/python.texi