diff options
author | Andrew Cagney <cagney@redhat.com> | 2002-01-22 17:15:57 +0000 |
---|---|---|
committer | Andrew Cagney <cagney@redhat.com> | 2002-01-22 17:15:57 +0000 |
commit | 6c0e9fb3d229e2c0864e3adceb46e35b0584be0b (patch) | |
tree | 44d0979de6deaebe39787fd57d81a166dafa0d1d /gdb/doc/gdbint.texinfo | |
parent | e0ce93ac9c743a91a1132aac92ea1c76219fcf3d (diff) | |
download | gdb-6c0e9fb3d229e2c0864e3adceb46e35b0584be0b.zip gdb-6c0e9fb3d229e2c0864e3adceb46e35b0584be0b.tar.gz gdb-6c0e9fb3d229e2c0864e3adceb46e35b0584be0b.tar.bz2 |
Eliminate texinfo 3.12 hacks.
Diffstat (limited to 'gdb/doc/gdbint.texinfo')
-rw-r--r-- | gdb/doc/gdbint.texinfo | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gdb/doc/gdbint.texinfo b/gdb/doc/gdbint.texinfo index 3139cf0..a79ce97 100644 --- a/gdb/doc/gdbint.texinfo +++ b/gdb/doc/gdbint.texinfo @@ -64,10 +64,7 @@ this GNU Manual, like GNU software. Copies published by the Free Software Foundation raise funds for GNU development.'' @end titlepage -@c TeX can handle the contents at the start but makeinfo 3.12 can not -@iftex @contents -@end iftex @node Top @c Perhaps this should be the title of the document (but only for info, @@ -5372,12 +5369,4 @@ exec.c @printindex cp -@c TeX can handle the contents at the start but makeinfo 3.12 can not -@ifinfo -@contents -@end ifinfo -@ifhtml -@contents -@end ifhtml - @bye |