diff options
| author | Andrew Cagney <cagney@redhat.com> | 2000-05-31 10:18:58 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 2000-05-31 10:18:58 +0000 |
| commit | 449f3b6ca7ee8f4bc340972fb39ec1ed251eb7ed (patch) | |
| tree | a18ab66303a8714d12c9451e93a250db34a051d2 /gdb/doc/gdbint.texinfo | |
| parent | 70d72e0eecedce2273b1ed400ecb86e8137878d2 (diff) | |
| download | ppe42-binutils-449f3b6ca7ee8f4bc340972fb39ec1ed251eb7ed.tar.gz ppe42-binutils-449f3b6ca7ee8f4bc340972fb39ec1ed251eb7ed.zip | |
Import texinfo.tex from texinfo-4.0.
Add support for ``make pdf'' to the gdb/doc directory using pdftex.
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 |
