[PATCH] printf support for DFP values

[Eli Zaretskii]

> From: Luis Machado <luisgpm@linux.vnet.ibm.com>
> Cc: gdb-patches@sourceware.org
> Date: Wed, 31 Oct 2007 22:18:39 -0300
> 
> How does this manual entry look? I tried to make it clear, but if i
> missed something please let me know.

It's okay, modulo the following problems:

> +Printf also supports conversion specifications for DFP (Decimal Floating Point)
> +types using the following conversion letters:

"Printf" is a name of a command, so please use @code{Printf}.

Also, when you first introduce a term, such as DFP, it is good to put
it in @dfn{}, as in @dfn{Decimal Floating Point}, so that it stands
out.

> +Printing DFP types with the conversion letters seen before works as
                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> +the example:

"with the above conversion letters" is better.

Also, I'd rephrase this:

 Here's an example of printing DFP types using the above conversion
 letters:

Other than that, the patch for the manual is fine.  Thanks.