Re: Website stylesheet for local docs

2012/2/25 Magnus Hagander <magnus(at)hagander(dot)net>:
> 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. I'm not suggesting we
> change the default or anything, just making it reasonably easy to get
> it done for one-off builds.
>
> I don't really speak the DSSSL naugage, so there might be a better way
> of doing it..

+1

Pavel

>
> Comments?
>
> --
>  Magnus Hagander
>  Me: http://www.hagander.net/
>  Work: http://www.redpill-linpro.com/
>
>
> --
> Sent via pgsql-hackers mailing list (pgsql-hackers(at)postgresql(dot)org)
> To make changes to your subscription:
> http://www.postgresql.org/mailpref/pgsql-hackers
>