Am Sat, 28 Feb 2015 15:08:09 +0000 schrieb Joseph Wright: > I would not expect too much difference between TeX Live and MiKTeX: they > seem to have the same .ini files at present so should end up much the same. One never knows. I doubt that many of the testers uses miktex so it I will at least try to do some random tests. (It looks as if I can use --undump to switch temporarly to another format without much fuss). > (Aside. MiKTeX's handling of spaces in filenames In this respect I'm a bad tester. My file names never have spaces ;-) -- Ulrike Fischer http://www.troubleshooting-tex.de/