I fixed it - no reason not to since it was discovered by Georgy and since Andrey pointed it as a potential problem on
fat32 on Windows XP. Thank you both. ...Phyllis
I accidentally found, that in the huge list of files produced by latex2html
from the CGG manual there are HTML pages, whose filenames differ from each
others in the letter case only. This is no problem under Linux. But if
somebody copies all the files to a Windows computer (with an NTFS-like
filesystem), or to a memory stick formatted as FAT32, or to some network
(Windows or Samba) disk where differences between upper/lower case in
filenames are ignored by the operating system, then some HTML pages will be
overwritten by others and disappear. I have found 4 such potentially
conflicting pairs of page names: