summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMagnus Hagander2021-02-22 12:00:54 +0000
committerMagnus Hagander2021-02-22 12:04:10 +0000
commitd22d0fa937616a3112f69ebd6a6ed4f039162441 (patch)
tree4c0f66f8354762bb99e5f9f440efa8507d5dedc3
parent5bc09a74719dfeb6c4cebb311b81385c508459a8 (diff)
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.
-rw-r--r--doc/src/sgml/stylesheet.xsl5
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl
index 69d7dccb00..0eac594f0c 100644
--- a/doc/src/sgml/stylesheet.xsl
+++ b/doc/src/sgml/stylesheet.xsl
@@ -24,10 +24,7 @@
<xsl:choose>
<xsl:when test="$website.stylesheet = 0">stylesheet.css</xsl:when>
<xsl:otherwise>
- 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
</xsl:otherwise>
</xsl:choose>
</xsl:param>