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 | 2666264b6eb726149d91b288810a8b4489f88201 (patch) | |
| tree | a38461de59211eaf46dc5798242ca4a788570078 | |
| parent | 959acfd1b436f0028481269deed85b772f0d8ebd (diff) | |
| download | gdb-2666264b6eb726149d91b288810a8b4489f88201.zip gdb-2666264b6eb726149d91b288810a8b4489f88201.tar.gz gdb-2666264b6eb726149d91b288810a8b4489f88201.tar.bz2 | |
Fix last change.
| -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 9429bae..8cedc75 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 |