pgsql: Fix docs build for website styles

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

pgsql: Fix docs build for website styles

Magnus Hagander-2
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.

Branch
------
REL_13_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/186f6168b73de6472e8aeb6e96b2ec6c73fd7b89

Modified Files
--------------
doc/src/sgml/stylesheet.xsl | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)