On Wed, Nov 10, 2010 at 8:49 AM, Dave Page <dpage@pgadmin.org> wrote:
> On Wed, Nov 10, 2010 at 1:46 PM, Bruce Momjian <bruce@momjian.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
