2009-10-21  Michael Snyder  <msnyder@vmware.com>

	* gdb.texinfo (Process Record and Replay): Document new form of
	info record command.

Index: gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.634
diff -u -p -r1.634 gdb.texinfo
--- gdb.texinfo	19 Oct 2009 09:51:42 -0000	1.634
+++ gdb.texinfo	21 Oct 2009 15:30:37 -0000
@@ -5516,9 +5516,19 @@ oldest record to make room for each new 
 @item show record stop-at-limit
 Show the current setting of @code{stop-at-limit}.
 
-@kindex info record insn-number
-@item info record insn-number
-Show the current number of recorded instructions.
+@kindex info record
+@item info record
+Show various statistics about the state of process record and its
+in-memory execution log buffer, including:
+
+@table @code
+@item whether in record mode or replay mode.
+@item Lowest recorded instruction number (counting from when the current execution log started recording instructions).
+@item Highest recorded instruction number.
+@item Current instruction about to be replayed (if in replay mode).
+@item Number of instructions contained in the execution log.
+@item Max number of instructions that may be contained in the execution log.
+@end table
 
 @kindex record delete
 @kindex rec del