Fix last change.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 9429baeb193e6a80dfc1ab0ee2edd68430e2e915..8cedc753f6e6660a642999fc478763e823247dbd 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -278,7 +278,7 @@ Fundamentally, the General Public License is a license which says that
 you have these freedoms and that you cannot take these freedoms away
 from anyone else.
 
-@unnumbered Free Software Needs Free Documentation
+@unnumberedsec Free Software Needs Free Documentation
 
 The biggest deficiency in the free software community today is not in
 the software---it is the lack of good free documentation that we can