13 Feb
2006
13 Feb
'06
4:35 p.m.
Adriaan van Os a écrit:
Frank Heckenbach wrote:
Adriaan van Os wrote:
By the way, I didn't manage to build the html version of the manual, because the entry for 'Index' creates an index.html file, which conflicts with the usual index.html file.
Which version of makeinfo do you have? AFAIR, they changed the file layout. Before I look closer, let's see if it's that.
[G5:/CW] adriaan% makeinfo --version makeinfo (GNU texinfo) 4.8
Same problem with djgpp since a long time. Here it is due to the fact that the file system is case insensitive. There are two files index.html and Index.html I use a work around for my personal use (generating index and index_) But a true fix for all systems would be certainly better. The same arises with pi and Pi
Maurice
--
Maurice Lombardi
Laboratoire de Spectrometrie Physique,
Universite Joseph Fourier de Grenoble, BP87
38402 Saint Martin d'Heres Cedex FRANCE
Tel: 33 (0)4 76 51 47 51
Fax: 33 (0)4 76 63 54 95
mailto:Maurice.Lombardi@ujf-grenoble.fr