Updated html2roff.xsl to revert to output of real dot characters

instead of U+2302 markers.

diff --git a/xsl/tools/xsl/build/html2roff.xsl b/xsl/tools/xsl/build/html2roff.xsl
index 343907c4eb2973b7803560fffb06a402280cce3f..c4dae3b9c0d057cc67aebf65df37dcd673889773 100644 (file)
--- a/xsl/tools/xsl/build/html2roff.xsl
+++ b/xsl/tools/xsl/build/html2roff.xsl
@@ -45,13 +45,13 @@
   </xsl:template>
 
   <xsl:template match="pre">
-    <xsl:element name="xsl:text">&#x2302;sp&#10;</xsl:element>
-    <xsl:element name="xsl:text">&#x2302;nf&#10;</xsl:element>
+    <xsl:element name="xsl:text">.sp&#10;</xsl:element>
+    <xsl:element name="xsl:text">.nf&#10;</xsl:element>
     <xsl:copy>
       <xsl:apply-templates select="@* | node()"/>
     </xsl:copy>
     <xsl:element name="xsl:text">&#10;</xsl:element>
-    <xsl:element name="xsl:text">&#x2302;fi&#10;</xsl:element>
+    <xsl:element name="xsl:text">.fi&#10;</xsl:element>
   </xsl:template>
 
 </xsl:stylesheet>