javahelp.encoding
javahelp.encoding
— Character encoding to use in control files for JavaHelp.
Synopsis
<xsl:param name="javahelp.encoding" select="'iso-8859-1'"></xsl:param>
Description
JavaHelp crashes on some characters when written as character
references. In that case you can use this parameter to select an appropriate encoding.