[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: |
Miles Bader |
Subject: |
Re: Enhancements to options menu (was Re: Reveal mode) |
Date: |
09 May 2002 00:46:19 +0900 |
Simon Josefsson <address@hidden> writes:
> But what about DocBook?
DocBook is intended as a `source' format, like texinfo, and like html,
is based on sgml (boo, hiss!), with all the hair that entails. It's
probably no easier to support than html (in fact, it may be more
complex).
> making the Info viewer support DocBook files as well could be useful.
See previous arguments re: html.
-Miles
--
"Most attacks seem to take place at night, during a rainstorm, uphill,
where four map sheets join." -- Anon. British Officer in WW I
- 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, 2002/05/12
- Re: Enhancements to options menu (was Re: Reveal mode),
Miles Bader <=
- 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
- Re: Enhancements to options menu (was Re: Reveal mode), Kai Großjohann, 2002/05/08