[RFA, doc RFA] Include wallclock time in "maint time" output.

[Eli Zaretskii]

> Date: Thu, 3 Nov 2011 16:17:08 -0700
> From: Doug Evans <dje@google.com>
> Cc: gdb-patches@sourceware.org
> 
> >> The part about time not being printed for commands that run the target
> >> is not true.
> >
> > The CPU time still accounts for GDB only, right? Â It sounds like we
> > interpret this sentence differently, so perhaps it should be reworded
> > rather than being deleted.
> 
> You'll need to tell me how you interpret it.

The text of the patch you attached is fine with me, but I would
suggest to use "@sc{cpu}" instead of just "cpu", I think the former
looks better in print.

Thanks.