Fix "maint time" command documentation.

Anmol P. Paralkar
2010-07-01T23:21:20Z

Hello,

The documentation for the "maint time" command does not mention the units of time.
Also, there are a couple of typos in there. I have attempted to fix these in the
following patch; please let me know if we could word/punctuate this better and
I'll be happy to re-spin.

I rebuilt gdb.info and visually inspected the generated gdb.info

Thank you,
Anmol.

Index: ChangeLog
===================================================================
RCS file: /cvs/src/src/gdb/doc/ChangeLog,v
retrieving revision 1.1083
diff -c -p -r1.1083 ChangeLog
*** ChangeLog 1 Jul 2010 17:40:04 -0000 1.1083
--- ChangeLog 1 Jul 2010 23:12:00 -0000
***************
*** 1,3 ****
--- 1,8 ----
+ 2010-07-01 Anmol P. Paralkar <anmol@freescale.com>
+
+ * gdb.texinfo (Maintenance Commands): Mention units of time
+ and fix a couple of typos in documentation for command "maint time".
+
2010-07-01 Pedro Alves <pedro@codesourcery.com>

* gdb.texinfo (Create and Delete Tracepoints): Add more index
Index: gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.737
diff -c -p -r1.737 gdb.texinfo
*** gdb.texinfo 1 Jul 2010 17:40:04 -0000 1.737
--- gdb.texinfo 1 Jul 2010 23:12:01 -0000
*************** switch (@pxref{Mode Options}).
*** 30573,30583 ****
@item maint time
Control whether to display the execution time for each command. If
set to a nonzero value, @value{GDBN} will display how much time it
! took to execute each command, following the command's own output.
! The time is not printed for the commands that run the target, since
there's no mechanism currently to compute how much time was spend
! by @value{GDBN} and how much time was spend by the program been debugged.
! it's not possibly currently
This can also be requested by invoking @value{GDBN} with the
@option{--statistics} command-line switch (@pxref{Mode Options}).

--- 30573,30583 ----
@item maint time
Control whether to display the execution time for each command. If
set to a nonzero value, @value{GDBN} will display how much time it
! took (in seconds) to execute each command, following the command's own output.
! The time is not printed for the commands that run on the target, since
there's no mechanism currently to compute how much time was spend
! by @value{GDBN} and how much time was spend by the program been debugged;
! this is not possible currently.
This can also be requested by invoking @value{GDBN} with the
@option{--statistics} command-line switch (@pxref{Mode Options}).