On Mon, Feb 27, 2012 at 16:20, Tom Lane <t...@sss.pgh.pa.us> wrote: > Magnus Hagander <mag...@hagander.net> writes: >> On Mon, Feb 27, 2012 at 04:37, Robert Haas <robertmh...@gmail.com> wrote: >>> Why not change the default? Does anyone really prefer the bare bones >>> doc output? > >> Yes, Peter made a point about preferring that back when we changed the >> developer docs to be on the main website (how it got worse but at >> least he could work on his local build). > > FWIW, I don't especially like the website style either --- it's too busy > calling attention to itself with colored backgrounds etc.
There we go, at least two people, and people who do a lot of builds and checks of the docs, like the current format. So I think that's a good argument to keep the current format the default, and just add a target like my suggestion as an *option* :-) -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers