From 7dd8eb39bd2b9e06eeef038f80ae327efb4a7d55 Mon Sep 17 00:00:00 2001
From: Heikki Linnakangas <heikki.linnakangas@iki.fi>
Date: Mon, 5 Dec 2016 14:49:00 +0200
Subject: [PATCH] Fix creation of stand-alone INSTALL.html file.

I missed the notice at the top of the file, that plain xref must not be
used in installation.sgml.

Per buildfarm member guaibasaurus.
---
 doc/src/sgml/installation.sgml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 98594a487e6..4431ed75a93 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1103,7 +1103,9 @@ su - postgres
          Allow the build to succeed even if <productname>PostgreSQL</>
          has no support for strong random numbers on the platform.
          A source of random numbers is needed for some authentication
-         protocols, as well as some routines in <xref linkend="pgcrypto">
+         protocols, as well as some routines in the
+         <![%standalone-include[pgcrypto]]>
+         <![%standalone-ignore[<xref linkend="pgcrypto">]]>
          module. --disable-strong-random disables functionality that
          requires cryptographically strong random numbers, and substitutes
          a weak pseudo-random-number-generator for the generation of
-- 
2.39.5