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