INSTALL.html build error

I see the following build error in git head:

$ make INSTALL.html
/usr/bin/xmllint --noout --valid INSTALL.xml
INSTALL.xml:721: element xref: validity error : IDREF attribute linkend references an unknown ID "jit"
Makefile:115: recipe for target 'INSTALL.html' failed
make: *** [INSTALL.html] Error 4

There are restrictions on what the INSTALL file can reference. It is
explained in installation.sgml:

The standalone version has some portions that are different from the
version that is integrated into the full documentation set, in
particular as regards links, so that INSTALL.html can be created without
links to the main documentation. See standalone-profile.xsl for
details.

and standalone-profile.xsl has:

To omit something in the stand-alone INSTALL file, give the element a
condition="standalone-ignore" attribute.

I have fixed it by using "standalone-ignore" in the attached, applied
patch.

--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +