[RFA/doco] Fix missing title in HTML documentation

Sat Nov 7 18:34:00 GMT 2009

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:

    <html lang="en">
    <head>
    <title>Untitled</title>
    <meta http-equiv="Content-Type" content="text/html">
    <meta name="description" content="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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: doco.diff
Type: text/x-diff
Size: 1478 bytes
Desc: not available
URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20091107/b5f97d30/attachment.bin>