Re: 8.0 doc

Andreas Pflug wrote:
> again we have a bunch of doc changes, and I'm quite tired manually
> adding them to pgadmin3.hhc again and again (apart from that being
> quite error-prone). We really should have it generated from sgml.
> I'm completely unfamiliar with jade, and there's a lot of other stuff
> for me to do so I'd be glad if some shiny knight would appear
> creating the basics. If it makes sense, we could convert the pgadmin
> pages to sgml as well.

At first glance, it doesn't look terribly complicated to generate, but
is there a document that describes the format?