I noticed this while working on cleaning up the nightly generation
of the documention on the GDB web site: The gdbint and stabs manuals
get an "Untitled" title. For instance, gdbint/index.html:
Untitled
The attached patch should fix this, while making it consistent with
the order of directives used in other manuals such as gdb.texinfo.
Tested by regenerating the HTML documentation and verifying the
differences (a lot of Untitled get changed appropriately).
OK to commit?
Thanks,
--
Joel