This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Fix doc index name on Windows


> 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?


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]