From 28f8896af0765a05447f605c55fa9f1ab3b41150 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 1 Dec 2017 13:30:21 -0500 Subject: [PATCH] doc: Turn on generate.consistent.ids parameter This ensures that automatically generated HTML anchors don't change in every build. --- doc/src/sgml/stylesheet-common.xsl | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/src/sgml/stylesheet-common.xsl b/doc/src/sgml/stylesheet-common.xsl index 658a5ac5e1..6d26e7e5c9 100644 --- a/doc/src/sgml/stylesheet-common.xsl +++ b/doc/src/sgml/stylesheet-common.xsl @@ -36,6 +36,7 @@ + 1