[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Enhancements to options menu (was Re: Reveal mode)
From: |
Eli Zaretskii |
Subject: |
Re: Enhancements to options menu (was Re: Reveal mode) |
Date: |
Sun, 12 May 2002 08:35:27 +0300 (IDT) |
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.
- Re: Enhancements to options menu (was Re: Reveal mode), (continued)
- Re: Enhancements to options menu (was Re: Reveal mode), Stefan Monnier, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Stefan Monnier, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Simon Josefsson, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Alan Shutko, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Karl Eichwalder, 2002/05/12
- Re: Enhancements to options menu (was Re: Reveal mode),
Eli Zaretskii <=
- Re: Enhancements to options menu (was Re: Reveal mode), Miles Bader, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Robert J. Chassell, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Karl Eichwalder, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Stefan Monnier, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Richard Stallman, 2002/05/09
- Re: Enhancements to options menu (was Re: Reveal mode), Karl Eichwalder, 2002/05/09
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/09
- Re: Enhancements to options menu (was Re: Reveal mode), Karl Eichwalder, 2002/05/09
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/09