diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2001-12-31 19:17:30 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2001-12-31 19:17:30 +0000 |
| commit | 273a8448f9922414c68d169c10d0ad75e288f173 (patch) | |
| tree | 113de4f49c6e3db44349332306a6e858ba387fad /gdb | |
| parent | d4bf63ca8e09ad9d59dbc110a206a55811ff3c4f (diff) | |
| download | gdb-273a8448f9922414c68d169c10d0ad75e288f173.tar.gz | |
Fix last change.
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
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 |