diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 51725baff8f..6c40ea496e0 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2001-12-26  Michael Snyder  <msnyder@redhat.com>
+
+	* gdb.texinfo (info proc): Comment out documentation for 
+	'info proc' sub-options that are currently not implemented.
+
 2001-12-20  Jim Blandy  <jimb@redhat.com>
 
 	* gdbint.texinfo (TARGET_CHAR_SIGNED): Document.
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 347b0dbfda5..d9a9b8be4ea 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -11259,7 +11259,10 @@ Summarize available information about the process.
 @item info proc mappings
 Report on the address ranges accessible in the program, with information
 on whether your program may read, write, or execute each range.
-
+@ignore
+@comment These sub-options of 'info proc' were not included when
+@comment procfs.c was re-written.  Keep their descriptions around
+@comment against the day when someone finds the time to put them back in.
 @kindex info proc times
 @item info proc times
 Starting time, user CPU time, and system CPU time for your program and
@@ -11278,6 +11281,7 @@ received.
 
 @item info proc all
 Show all the above information about the process.
+@end ignore
 @end table
 
 @node DJGPP Native