Fix Doug Evans's commit of 2013-03-21.

* gdb.texinfo (Maintenance Commands): Use @enumerate, not "@table
	@bullet", which is invalid (makeinfo 5.1 barfs).

gdb/doc/ChangeLog

@@ -1,3 +1,8 @@
+2013-03-28  Eli Zaretskii  <eliz@gnu.org>
+
+	* gdb.texinfo (Maintenance Commands): Use @enumerate, not "@table
+	@bullet", which is invalid (makeinfo 5.1 barfs).
+
 2013-03-28  Pedro Alves  <palves@redhat.com>
 
 	PR gdb/15294

gdb/doc/gdb.texinfo

@@ -35645,11 +35645,14 @@ Enable or disable the printing of basic symbol table statistics
 for each command.
 If enabled, @value{GDBN} will display the following information:
 
-@table @bullet
-@item number of symbol tables
-@itemx number of primary symbol tables
-@itemx number of blocks in the blockvector
-@end table
+@enumerate a
+@item
+number of symbol tables
+@item
+number of primary symbol tables
+@item
+number of blocks in the blockvector
+@end enumerate
 @end table
 
 @kindex maint space