From 04089c4666e2dce7f3c6f57cd4558230d575bb3b Mon Sep 17 00:00:00 2001
From: Bob Stayton <bobs@sagehill.net>
Date: Fri, 25 Jul 2003 17:08:21 +0000
Subject: [PATCH] Added insert.xref.page.number with value of zero to ensure
 that xrefstyle attributes don't try to generate a page number reference for
 HTML output.  This parameter does not show up in the HTML doc because it is
 not to be changed.

---
 xsl/html/param.ent | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xsl/html/param.ent b/xsl/html/param.ent
index f956da0f4..3fb518ee2 100644
--- a/xsl/html/param.ent
+++ b/xsl/html/param.ent
@@ -243,3 +243,4 @@
 <!ENTITY eclipse.plugin.name SYSTEM "../params/eclipse.plugin.name.xml">
 <!ENTITY eclipse.plugin.id SYSTEM "../params/eclipse.plugin.id.xml">
 <!ENTITY eclipse.plugin.provider SYSTEM "../params/eclipse.plugin.provider.xml">
+<!ENTITY insert.xref.page.number SYSTEM "../params/insert.xref.page.number.xml">
-- 
2.40.0