summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEli Zaretskii <eliz@gnu.org>2013-03-28 21:07:56 +0000
committerEli Zaretskii <eliz@gnu.org>2013-03-28 21:07:56 +0000
commite6c081ab2f37103e33d261618ab01650a55d9ae0 (patch)
treeda88760169218f7a71bac5ee8c224f0fd9fa53ab
parent19a4647775865fa080f1ed49a0c8808bb3cd0a95 (diff)
downloadgdb-e6c081ab2f37103e33d261618ab01650a55d9ae0.tar.gz
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).
-rw-r--r--gdb/doc/ChangeLog5
-rw-r--r--gdb/doc/gdb.texinfo13
2 files changed, 13 insertions, 5 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index cab3ad9ae10..31593d4f4b3 100644
--- a/gdb/doc/ChangeLog
+++ b/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
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index fc2aae1adcc..dec27a82bed 100644
--- a/gdb/doc/gdb.texinfo
+++ b/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