This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [RFA/doco] Fix missing title in HTML documentation
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Joel Brobecker <brobecker at adacore dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Sat, 07 Nov 2009 21:35:22 +0200
- Subject: Re: [RFA/doco] Fix missing title in HTML documentation
- References: <20091107183407.GN4557@adacore.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Sat, 7 Nov 2009 10:34:07 -0800
> From: Joel Brobecker <brobecker@adacore.com>
>
> 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?
OK, assuming that you ran all the other targets in doc/Makefile.in and
verified that there are no adverse effects.
Thanks.