Date: Tue, 28 Nov 2000 09:37:52 +0200 (IST) From: Eli Zaretskii X-Sender: eliz AT is To: JT Williams cc: djgpp AT delorie DOT com Subject: Re: TEX In-Reply-To: <20001127155358.D19525@kendall.sfbr.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Reply-To: djgpp AT delorie DOT com Errors-To: nobody AT delorie DOT com X-Mailing-List: djgpp AT delorie DOT com X-Unsubscribes-To: listserv AT delorie DOT com Precedence: bulk On Mon, 27 Nov 2000, JT Williams wrote: > -: A lot of people uses DocBook, which unfortunately is not available in > -: binary form for DJGPP. > > If only they had written their documentation in Texinfo.... > > Then they could have DocBook and still enable others to > have their html, info, ascii, ps, etc. What, DocBook cannot produce ASCII, PS, and HTML? Really??