docs in a wiki [was Re: making review/bug filing optional for

[David Miller]

Luis Villa wrote:

> To keep pushing the boundaries, though- why do we use docbook? It's
> great for structured text. Do we actually use that (or, do we use it
> more than what the HTML markup would give us?) Does it give us
> translation benefits? Offhand, I can  see an argument to be made that
> the flexibility and more collaborative nature of wiki would justify
> dumping docbook.

We use docbook because it lets us produce readable documentation in 
multiple formats.  On the website, besides the HTML version, we also 
have plaintext and a PDF.  And the PDF version is surprisingly popular.

-- 
Dave Miller                                   http://www.justdave.net/
System Administrator, Mozilla Foundation       http://www.mozilla.org/
Project Leader, Bugzilla Bug Tracking System  http://www.bugzilla.org/