<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On 17 May 2013 22:25, Karl Berry <span dir="ltr"><<a href="mailto:karl@freefriends.org" target="_blank">karl@freefriends.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">    (%&"preamble" given a file preamble.fmt)<br>
<br>
</div>Thanks for the report, but I don't believe that ever worked, or was<br>
intended to work, or can reasonably be made to work.  Certainly "..."<br>
cannot be used to arbitrarily quote filenames in any circumstance, and<br>
this is just one of the cases where it can't.<br>
<br></blockquote><div><br></div><div>I have little sympathy for spaces in filenames:-), main reason that  I suggested<br></div><div>that it might be worth raising here is that Alexander reported that it worked in miktex<br>
</div><div>and generally differences between implementations ought possibly be known about even<br></div><div>if they can't be avoided.<br><br></div><div>certainly It's not a major issue and not worth doing anything about unless it was entirely trivial. The number of formats that are not one of the standard ones must be vanishingly small anyway, and no one could _need_ a space in a format name.<br>
<br></div><div>David<br><br></div></div><br><br clear="all"><br>-- <br><a href="http://dpcarlisle.blogspot.com/">http://dpcarlisle.blogspot.com/</a>
</div></div>