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: (view raw or whole 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.


> 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
The Enterprise PostgreSQL Company

In response to


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-2015 The PostgreSQL Global Development Group