diff options
Diffstat (limited to 'gdb/doc/gdbint.texinfo')
| -rw-r--r-- | gdb/doc/gdbint.texinfo | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gdb/doc/gdbint.texinfo b/gdb/doc/gdbint.texinfo index 439eaeaec7..532d22351b 100644 --- a/gdb/doc/gdbint.texinfo +++ b/gdb/doc/gdbint.texinfo @@ -63,6 +63,11 @@ are preserved on all copies. @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, @c not for TeX). Existing GNU manuals seem inconsistent on this point. @@ -3383,6 +3388,12 @@ exec.c @end table - +@c TeX can handle the contents at the start but makeinfo 3.12 can not +@ifinfo @contents +@end ifinfo +@ifhtml +@contents +@end ifhtml + @bye |
