diff options
| -rwxr-xr-x | gdb/doc/gdb-all.texi | 5 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 5 |
2 files changed, 4 insertions, 6 deletions
diff --git a/gdb/doc/gdb-all.texi b/gdb/doc/gdb-all.texi index f9ae8ad..1a81110 100755 --- a/gdb/doc/gdb-all.texi +++ b/gdb/doc/gdb-all.texi @@ -5,9 +5,8 @@ @setfilename gdb.info @settitle Using GDB (v4) @setchapternewpage odd -@input smpklug.texi -@smallbook -@cropmarks +@c @smallbook +@c @cropmarks @c %**end of header @finalout diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 2150d8a..25905b3 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -12,9 +12,8 @@ _if__(!_GENERIC__) @settitle Using _GDBN__ v4 (_HOST__) _fi__(!_GENERIC__) @setchapternewpage odd -@input smpklug.texi -@smallbook -@cropmarks +@c @smallbook +@c @cropmarks @c %**end of header @finalout |