diff options
Diffstat (limited to 'gdb/doc/gdb.texinfo')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index b8630cc2e1..914e0ab3cb 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -206,6 +206,11 @@ Copyright (C) 1988-2000 Free Software Foundation, Inc. @end ifhtml +@c TeX can handle the contents at the start but makeinfo 3.12 can not +@iftex +@contents +@end iftex + @node Summary @unnumbered Summary of @value{GDBN} @@ -12874,5 +12879,12 @@ needed for special purposes only. % Blame: doc@cygnus.com, 1991. @end tex +@c TeX can handle the contents at the start but makeinfo 3.12 can not +@ifinfo @contents +@end ifinfo +@ifhtml +@contents +@end ifhtml + @bye |
