Re: Website stylesheet for local docs

From: Robert Haas <robertmhaas(at)gmail(dot)com>
To: Magnus Hagander <magnus(at)hagander(dot)net>
Cc: PostgreSQL-development <pgsql-hackers(at)postgresql(dot)org>
Subject: Re: Website stylesheet for local docs
Date: 2012-02-27 03:37:14
Message-ID: CA+TgmoavchcYG6+bCDsLx-n5vGq4dM5Fe4snQaTvcSyBAR+iGA@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On Sat, Feb 25, 2012 at 7:54 AM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> I've asked for this a few times before, but it seems others aren't as
> keen on it as me :-) Personally, I find the docs easier to read when
> formatted with the new website styles that Thom put together, and I
> also like to see things the way they're going to look when they go up
> there.

Agreed.

> Attached patch makes it possible to say "make STYLE=website" for the
> docs, which will then simply replace the stylesheet reference with one
> that goes to fetch docs.css on the website.

Wouldn't it be better to include the stylesheet in our tree, if we're
going to depend on it?

> I'm not suggesting we
> change the default or anything, just making it reasonably easy to get
> it done for one-off builds.

Why not change the default? Does anyone really prefer the bare bones
doc output?

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

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Tom Lane 2012-02-27 03:37:39 Re: Memory usage during sorting
Previous Message Robert Haas 2012-02-27 03:35:23 Re: FDW system columns