From: Eli Zaretskii Date: Mon, 31 Dec 2001 19:17:30 +0000 (+0000) Subject: Fix last change. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2666264b6eb726149d91b288810a8b4489f88201;p=binutils-gdb.git Fix last change. --- 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