From 3803ff985c7940af32912b158322cce399952e76 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Tue, 26 Nov 2013 23:02:40 -0500
Subject: [PATCH] doc: Add id to index in XSLT build

That way, the HTML file name of the index will be the same as currently
for the DSSSL build.
---
 doc/src/sgml/postgres.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/postgres.sgml b/doc/src/sgml/postgres.sgml
index 522316c28e1..b47bf529a2a 100644
--- a/doc/src/sgml/postgres.sgml
+++ b/doc/src/sgml/postgres.sgml
@@ -270,6 +270,6 @@
 
  &biblio;
  <![%include-index;[&bookindex;]]>
- <![%include-xslt-index;[<index></index>]]>
+ <![%include-xslt-index;[<index id="bookindex"></index>]]>
 
 </book>
-- 
GitLab