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: Jonathan Larmour <jifl at eCosCentric dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 25 Nov 2010 18:47:18 +0000
- Subject: Re: Fix doc index name on Windows
- References: <4CEE9F77.1070509@eCosCentric.com> <83y68h6z4j.fsf@gnu.org>
On 25/11/10 18:23, Eli Zaretskii wrote:
>> 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?
The tools I build are generated on a RHEL4 machine, which is therefore a
bit on the older side intentionally for wider binary compatibility
(although that doesn't affect docs, true). It's texinfo 4.7.
Jifl
--
eCosCentric Limited http://www.eCosCentric.com/ The eCos experts
Barnwell House, Barnwell Drive, Cambridge, UK. Tel: +44 1223 245571
Registered in England and Wales: Reg No 4422071.
------["Si fractum non sit, noli id reficere"]------ Opinions==mine