To: Stephen Turnbull Cc: djgpp AT sun DOT soe DOT clarkson DOT edu Subject: Re: Problem with Info Date: Tue, 21 Mar 95 17:32:20 +0200 From: Eli Zaretskii > There are conflicting reports on whether an info reader can be made to > function properly (both getting references correct and doing it > efficiently via tags) with files in both formats. Some people say > yes, some say no. The issue is that the extra in each line > changes byte offsets in the node tags index, leading to "node not > found" errors in rare cases. There is no need to think that this issue is something like a ``rasemon'' (sp?). At least, as far as I'm concerned, because I have a version of GNU Info patched to read *both* Unix- and DOS-style text files. I need this because Info files have errors which I'm used to correct with my editor, and I'm lazy to unzip the TexInfo sources and run them through Makeinfo. I tried to convince DJ about a year ago that it can be done (after I actually did it!), but failed. Anyway, it works for me ever since, and *believe* me, this doesn't disrupt the tag tables in any way whatsoever! Anybody who wants the patched version is welcome to drop me a note.