From 2666264b6eb726149d91b288810a8b4489f88201 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Mon, 31 Dec 2001 19:17:30 +0000 Subject: [PATCH] Fix last change. --- gdb/doc/gdb.texinfo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 9429baeb193..8cedc753f6e 100644 --- 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 -- 2.30.2