Re: Developer docs HTML markup

On Wed, Nov 10, 2010 at 8:49 AM, Dave Page <dpage(at)pgadmin(dot)org> wrote:
> On Wed, Nov 10, 2010 at 1:46 PM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:
>> Is there a reason the developer docs don't have the same HTML CSS
>> prettiness as the main docs?
>>
>>        http://developer.postgresql.org/pgdocs/postgres/pgupgrade.html
>
> Yes, they're hosted on a completely separate server which doesn't have
> any of the main website presentation framework or stylesheets on it.
> Adding that lot would be a significant task.

I was wondering if we could move some of it into the main tree, so
that I get it when I build on my local machine.

*ducks*

--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company