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.

diff --git a/xsl/html/param.ent b/xsl/html/param.ent
index f956da0f4faa9587ce5a7a7bb51e2e18b8b9f9d5..3fb518ee2b322847fc98f50966724cd45136f6f3 100644 (file)
--- 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">