On Sat, Feb 25, 2012 at 7:54 AM, Magnus Hagander <magnus@hagander.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