Date: Mon, 1 Jun 1998 19:54:51 +0300 (IDT) From: Eli Zaretskii To: Jan Hubicka cc: djgpp AT delorie DOT com Subject: Re: ANNOUNCE: Texinfo 3.12 ported to DJGPP In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Precedence: bulk On Fri, 29 May 1998, Jan Hubicka wrote: > So I started to think > about adding texinfo browser directly into distribution, but the default > one is rather big. Is there some small such browser (say maximally 10KB) > available? I don't know about any such browser, and I doubt if it is possible, even if you leave out many features. Browsing Info files is a sirprisingly complex task, since the format leaves a lot of leeway. Please do NOT use djgpp-announce for discussions about the announced software: use djgpp@ instead.