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

[Miles Bader]

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