From a268a51de692c462e641a58ac842bbb0ac1e43ea Mon Sep 17 00:00:00 2001
From: Andres Freund <andres@anarazel.de>
Date: Fri, 17 Nov 2023 13:35:17 -0800
Subject: [PATCH] docs: Fix standalone INSTALL, broken in 06c70849fb2

We should probably check that INSTALL can be generated in CI.

Reported-by: Tom Lane <tgl@sss.pgh.pa.us>
Discussion: https://postgr.es/m/795075.1700254192@sss.pgh.pa.us
---
 doc/src/sgml/standalone-profile.xsl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/src/sgml/standalone-profile.xsl b/doc/src/sgml/standalone-profile.xsl
index 1b3938a638..077d300ebf 100644
--- a/doc/src/sgml/standalone-profile.xsl
+++ b/doc/src/sgml/standalone-profile.xsl
@@ -90,4 +90,8 @@ variant without links and references to the main documentation.
   <xsl:text>xml2</xsl:text>
 </xsl:template>
 
+<xsl:template match="xref[@linkend='sepgsql']">
+  <xsl:text>sepgsql</xsl:text>
+</xsl:template>
+
 </xsl:stylesheet>
-- 
2.30.2