This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH v3 1/2] Add new GDB command "maint print user-registers"
- From: Andreas Arnez <arnez at linux dot vnet dot ibm dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sourceware dot org
- Date: Wed, 10 Dec 2014 19:33:47 +0100
- Subject: Re: [PATCH v3 1/2] Add new GDB command "maint print user-registers"
- Authentication-results: sourceware.org; auth=none
- References: <1418232159-15289-1-git-send-email-arnez at linux dot vnet dot ibm dot com> <1418232159-15289-2-git-send-email-arnez at linux dot vnet dot ibm dot com> <83zjavtm0s dot fsf at gnu dot org>
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.