gdb/doc/ChangeLog:
* python.texi (Objfiles In Python) <Objfile.filename>: Improve docs.
* guile.texi (Objfiles In Guile) <objfile-filename>: Improve docs.
+2015-01-27 Doug Evans <dje@google.com>
+
+ * python.texi (Objfiles In Python) <Objfile.filename>: Improve docs.
+ * guile.texi (Objfiles In Guile) <objfile-filename>: Improve docs.
+
2015-01-22 Jan Kratochvil <jan.kratochvil@redhat.com>
* gdb.texinfo (Threads): Describe -ascending for thread apply all.
@end deffn
@deffn {Scheme Procedure} objfile-filename objfile
-Return the file name of @var{objfile} as a string.
+Return the file name of @var{objfile} as a string,
+with symbolic links resolved.
@end deffn
@deffn {Scheme Procedure} objfile-pretty-printers objfile
class.
@defvar Objfile.filename
-The file name of the objfile as a string.
+The file name of the objfile as a string, with symbolic links resolved.
+
+The value is @code{None} if the objfile is no longer valid.
+See the @code{gdb.Objfile.is_valid} method, described below.
@end defvar
@defvar Objfile.owner