On Tue, Dec 11, 2001 at 10:26:57AM +0000, Warwick Harvey wrote: > On Mon, Dec 10, 2001 at 09:34:33PM +0000, Kish Shen wrote: > > I unpacked the released ECLiPSe (5.3#41) on Edward Tsang's Windows 98 machine, > > and had problems with the link from the top HTML page (the one pointing to > > all the different manuals) to the user manual (which seems to be the same > > problem Warwick metioned), and to the library manual. Is this the same > > problem? I didn't have time to look at it, but is there some way to get > > around it? If so, I can tell Edward how to do so.... > > Yes, it's the same problem. One way to fix it is to copy some of the html > files (renaming them might also work, but I don't know whether they're > referred to elsewhere by their other name). > > doc/embedding: copy embroot.html to index.html (may not be necessary) > doc/libman: copy index.html to libman.html > doc/tutorial: copy index.html to tutorial.html > doc/userman: copy index.html to umsroot.html It appears that nowhere are embedding/index.html, libman/index.html, tutorial/index.html or userman/index.html ever referred to. So one solution is to just exclude those files from the distribution, or to turn them into symbolic links (in which case even if the Windows archive extraction program fails to deal with them correctly, everything should still work). Cheers, WarwickReceived on Tue Dec 11 12:26:25 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:12 PM GMT GMT