diff options
Diffstat (limited to 'gdb/doc/gdbint.texinfo')
-rw-r--r-- | gdb/doc/gdbint.texinfo | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gdb/doc/gdbint.texinfo b/gdb/doc/gdbint.texinfo index a7786ccb7ed..bb95e89bc0d 100644 --- a/gdb/doc/gdbint.texinfo +++ b/gdb/doc/gdbint.texinfo @@ -46,7 +46,7 @@ regarded as a program in the language TeX). @page @tex \def\$#1${{#1}} % Kluge: collect RCS revision info without $...$ -\xdef\manvers{\$Revision: 1.12 $} % For use in headers, footers too +\xdef\manvers{\$Revision: 1.13 $} % For use in headers, footers too {\parskip=0pt \hfill Cygnus Solutions\par \hfill \manvers\par @@ -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 |