Date:	Fri, 17 Mar 95 07:43:33 EST
From:	"John E. Davis" <davis AT space DOT mit DOT edu>
To:	djgpp AT sun DOT soe DOT clarkson DOT edu
Subject:	Re: Problem with Info

>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 <CR> in each line
>changes byte offsets in the node tags index, leading to "node not
>found" errors in rare cases.

If you use jed to read info files, you will not run into this problem.  Jed
simply uses the tag files to determine which file is being referred to.
This means that you can edit the info files and jed can still read them.
In fact, if you just want to use jed as an info reader, you can simply do:

   jed -info
   
--John   

- Raw text -