This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: Fix doc index name on Windows
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Jonathan Larmour <jifl at eCosCentric dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 25 Nov 2010 20:23:40 +0200
- Subject: Re: Fix doc index name on Windows
- References: <4CEE9F77.1070509@eCosCentric.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Thu, 25 Nov 2010 17:40:07 +0000
> From: Jonathan Larmour <jifl@eCosCentric.com>
>
> When cross building GDB 7.2 to Windows I have found that the GDB
> documentation set generates HTML files named index.html and
> Index.html.
What version of Texinfo is that?