Website stylesheet for local docs
Magnus Hagander <magnus@hagander.net>
From: Magnus Hagander <magnus@hagander.net>
To: PostgreSQL-development <pgsql-hackers@postgresql.org>
Date: 2012-02-25T12:54:32Z
Lists: pgsql-hackers
Attachments
- doc_style.patch (text/x-patch) patch
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.. Comments? -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/