Fix docs build for website styles

Magnus Hagander <magnus@hagander.net>

Commit: d22d0fa937616a3112f69ebd6a6ed4f039162441
Author: Magnus Hagander <magnus@hagander.net>
Date: 2021-02-22T12:04:10Z
Releases: 14.0
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.

Files

PathChange+/−
doc/src/sgml/stylesheet.xsl modified +1 −4