On Sat, Feb 25, 2012 at 7:54 AM, Magnus Hagander <mag...@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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers