Fix generation of distribution tarball

This issue can be reproduced by running `make dist` from the root of the
tree.  Error introduced in fcb21b3, where additions of links in
installation.sgml require custom rules in standalone-profile.xsl to make
sure that ./INSTALL is generated correctly for the distribution tarball,
where links are replaced by equivalent terms from the profile file
changed by this commit.

Per buildfarm member guaibasaurus.

Discussion: https://postgr.es/m/[email protected]

diff --git a/doc/src/sgml/standalone-profile.xsl b/doc/src/sgml/standalone-profile.xsl
index ea8a8f17287949db7ecab1c6e974383dede238ec..1b3938a638d67bf3cec3aadb8ecbe1c3927c9e5b 100644 (file)
--- a/doc/src/sgml/standalone-profile.xsl
+++ b/doc/src/sgml/standalone-profile.xsl
@@ -40,6 +40,10 @@ variant without links and references to the main documentation.
   the documentation about client authentication and libpq
 
 
+
+  the documentation
+
+
 
   the main documentation's appendix on documentation
 
@@ -60,6 +64,10 @@ variant without links and references to the main documentation.
   the documentation
 
 
+
+  the documentation
+
+
 
   the PL/Python documentation