]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Fix docs build for website styles
authorMagnus Hagander <magnus@hagander.net>
Mon, 22 Feb 2021 12:00:54 +0000 (13:00 +0100)
committerMagnus Hagander <magnus@hagander.net>
Mon, 22 Feb 2021 12:04:28 +0000 (13:04 +0100)
commit186f6168b73de6472e8aeb6e96b2ec6c73fd7b89
tree6898d3ee39df68a4f4fcc206a6ebfbe5528e5571
parent5190ce845c59727ed7177dadd62626d6450a55bd
Fix docs build for website styles

Building the docs with STYLE=website referenced a stylesheet that long
longer exists on the website, since we changed it to use versioned
references.

To make it less likely for this to happen again, point to a single
stylesheet on the website which will in turn import the required one.
That puts the process entirely within the scope of the website
repository, so next time a version is switched that's the only place
changes have to be made, making them less likely to be missed.

Per (off-list) discussion with Peter Geoghegan and Jonathan Katz.
doc/src/sgml/stylesheet.xsl