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 /src/backend/commands/async.c | |
| parent | 5190ce845c59727ed7177dadd62626d6450a55bd (diff) | |
| download | postgresql-186f6168b73de6472e8aeb6e96b2ec6c73fd7b89.tar.gz postgresql-186f6168b73de6472e8aeb6e96b2ec6c73fd7b89.zip | |
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 'src/backend/commands/async.c')
0 files changed, 0 insertions, 0 deletions