<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">2013/9/20 Taco Hoekwater <span dir="ltr"><<a href="mailto:taco@elvenkind.com" target="_blank">taco@elvenkind.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 09/19/2013 09:40 PM, Paul Pichaureau wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
I think the tfm generation is still broken in metapost 1.802 (I use the<br>
last Miktex distribution on windows 8).<br>
<br>
For example, if you compile the following file "test.mf"<br>
<br>
<br>
fontmaking:=1;<br>
<br>
designsize := 10;<br>
fontdimen5: 5;                 % xheight<br>
<br>
end.<br>
<br>
This is the pl file obtained:<br>
<br>
(DESIGNSIZE R 10.0)<br>
(COMMENT DESIGNSIZE IS IN POINTS)<br>
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)<br>
(CHECKSUM O 37700177400)<br>
(FONTDIMEN<br>
    (SLANT R 0.0)<br>
    (SPACE R 0.0)<br>
    (STRETCH R 0.0)<br>
    (SHRINK R 0.0)<br>
    (XHEIGHT R 0.03125)<br>
    )<br>
<br>
As you can see, the xheight has a completly wrong value.<br>
</blockquote>
<br></div>
This bug was easy to fix:<br>
<br>
Index: ../../../source/texk/web2c/<u></u>mplibdir/mp.w<br>
==============================<u></u>==============================<u></u>=======<br>
--- ../../../source/texk/web2c/<u></u>mplibdir/mp.w    (revision 1923)<br>
+++ ../../../source/texk/web2c/<u></u>mplibdir/mp.w    (working copy)<br>
@@ -32727,7 +32727,7 @@<br>
     mp_number arg1;<br>
     new_number (arg1);<br>
     number_clone (arg1, x);<br>
-    number_multiply_int (x, 16);<br>
+    number_multiply_int (arg1, 16);<br>
     make_scaled (x, arg1, internal_value (mp_design_size));<br>
     free_number (arg1);<br>
   }<br>
<br>
<br>
<br>
but I created a tracker item just in case:<br>
<br>
  <a href="http://tracker.luatex.org/view.php?id=855" target="_blank">http://tracker.luatex.org/<u></u>view.php?id=855</a><br></blockquote><div><br></div><div>I'm sorry I didn't create a tracker for that! Next time I will.<br>
<br></div><div>Thanks !<br></div><div><br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Best wishes,<br>
Taco<br>
<br>
</blockquote></div><br><br clear="all"><br>-- <br> Paul Pichaureau<br><br>
</div></div>