a pica is 12 points, rather than a sixth of an inch

diff --git a/xsl/lib/lib.xweb b/xsl/lib/lib.xweb
index 9ef094aa874648436a007f8361385e1ca3f95740..8770f1e4a535212fd991b92367cc0b3979884662 100644 (file)
--- a/xsl/lib/lib.xweb
+++ b/xsl/lib/lib.xweb
@@ -384,7 +384,7 @@ which is initially <literal>10</literal> (for 10pt).</para>
       <xsl:value-of select="$magnitude * 72.0"/>
     </xsl:when>
     <xsl:when test="$units = 'pc'">
-      <xsl:value-of select="$magnitude div 6.0 * 72.0"/>
+      <xsl:value-of select="$magnitude * 12.0"/>
     </xsl:when>
     <xsl:when test="$units = 'px'">
       <xsl:value-of select="$magnitude div $pixels.per.inch * 72.0"/>