On Fri, 26 Sep 2014, David Allsopp wrote:
Have you rebooted your machine?
No, but much simpler! I deleted the command prompt window I was working with, opened a new one and it works! It seem the f option is the culprit.
I compared the results of a SET command before and after this condition and they are the same. So the problem is *not* a nasty variable change.
Bye, Jean-Pierre Coulon ------------------------------- [email protected] mailing list If you want to unsubscribe or look at the archives, go to http://tug.org/mailman/listinfo/tex-music
