From d22d0fa937616a3112f69ebd6a6ed4f039162441 Mon Sep 17 00:00:00 2001 From: Magnus Hagander Date: Mon, 22 Feb 2021 13:00:54 +0100 Subject: [PATCH] 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 | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index 69d7dccb00d..0eac594f0cc 100644 --- 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