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.

diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl
index 69d7dccb00de707996949e42189d50467321eff7..0eac594f0cc4ab56091a5f8a2e24ac50eebf3379 100644 (file)
--- a/doc/src/sgml/stylesheet.xsl
+++ b/doc/src/sgml/stylesheet.xsl
@@ -24,10 +24,7 @@
   
     stylesheet.css
     
-      https://www.postgresql.org/media/css/fontawesome.css
-      https://www.postgresql.org/media/css/bootstrap.min.css
-      https://www.postgresql.org/media/css/main.css
-      https://www.postgresql.org/media/css/normalize.css
+      https://www.postgresql.org/media/css/docs-complete.css