2009-01-14 Joseph Myers <joseph@codesourcery.com>
authorJoseph Myers <joseph@codesourcery.com>
Wed, 14 Jan 2009 11:47:07 +0000 (11:47 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 14 Jan 2009 11:47:07 +0000 (11:47 +0000)
commita67ec3f4ff30364935c115b0f0fa08537165a77f
tree0ac9cecf3305dc52816525fcb42fd9429a33a9b4
parente4d013fc0f3df3200be2dca48ed2e330e8a4ddf9
2009-01-14  Joseph Myers  <joseph@codesourcery.com>
            Carlos O'Donell  <carlos@codesourcery.com>

Fixes for makeinfo --html.

* annotate.texinfo: Use @copying and @insertcopying.  Use
@ifnottex in place of @ifinfo.
* gdb.texinfo: Use @copying and @insertcopying.  Use @ifnottex in
place of @ifinfo.  Use @ifnotinfo for one index entry.
* gdbint.texinfo: Use @copying and @insertcopying.  Use @ifnottex
in place of @ifinfo.
* stabs.texinfo: Use @copying and @insertcopying.  Use @ifnottex
in place of @ifinfo.  Include contents at start unconditionally.
gdb/doc/ChangeLog
gdb/doc/annotate.texinfo
gdb/doc/gdb.texinfo
gdb/doc/gdbint.texinfo
gdb/doc/stabs.texinfo