diff options
| author | Magnus Hagander <magnus@hagander.net> | 2021-02-22 13:00:54 +0100 |
|---|---|---|
| committer | Magnus Hagander <magnus@hagander.net> | 2021-02-22 13:04:28 +0100 |
| commit | 186f6168b73de6472e8aeb6e96b2ec6c73fd7b89 (patch) | |
| tree | 6898d3ee39df68a4f4fcc206a6ebfbe5528e5571 /doc/src | |
| parent | 5190ce845c59727ed7177dadd62626d6450a55bd (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.
Diffstat (limited to 'doc/src')
| -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 69d7dccb00d..0eac594f0cc 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> |