Re: Enhancements to options menu (was Re: Reveal mode)

[Eli Zaretskii]

On Sun, 12 May 2002, Karl Eichwalder wrote:

> Alan Shutko <address@hidden> writes:
> 
> > I may be wrong, but I don't think anyone uses DocBook files directly
> > for help support.  They all convert it into HTML and use a minimal
> > HTML browser.
> 
> No. Yelp is the new help browser for GNOME 2.0.  It supports documents
> written in Docbook XML (= normalized SGML files), man pages and info
> pages.

It may be of interest that the latest Texinfo release 4.2 can produce 
DocBook and/or XML from a Texinfo source.