This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH v3 1/2] Add new GDB command "maint print user-registers"


On Wed, Dec 10 2014, Eli Zaretskii wrote:

> When you first introduce new terminology, it is best to use @dfn, like
> this:
>
>   List all currently available @dfn{user registers}.
>
> This will look prettier in print, and will have the same effect as
> ``..'' in the Info manual.

Sure, I will include this change in the next version.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]