diff options
author | Magnus Hagander | 2021-02-22 12:00:54 +0000 |
---|---|---|
committer | Magnus Hagander | 2021-02-22 12:04:10 +0000 |
commit | d22d0fa937616a3112f69ebd6a6ed4f039162441 (patch) | |
tree | 4c0f66f8354762bb99e5f9f440efa8507d5dedc3 | |
parent | 5bc09a74719dfeb6c4cebb311b81385c508459a8 (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.xsl | 5 |
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> |