Skip site navigation (1) Skip section navigation (2)

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 (view raw or flat)
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

pgsql-hackers by date

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

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group